diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-24 11:21:39 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-24 11:21:39 +0200 |
commit | f194e40eacf9c03fa362565f10e5bbb617cb9a84 (patch) | |
tree | dee3a4510c8c2c22d7700ad42fb787619ee47861 /src/dotty/tools/dotc/typer/Implicits.scala | |
parent | 922717bd8a1ae60ddd48be2248f0c6d49fb44763 (diff) | |
download | dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.tar.gz dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.tar.bz2 dotty-f194e40eacf9c03fa362565f10e5bbb617cb9a84.zip |
Review of all deompositions of NamedType
Avoid using symbols that might not exist when doing that.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Implicits.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 2a92cf442..4ba43db43 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -119,7 +119,7 @@ trait ImplicitRunInfo { self: RunInfo => */ private val liftToClasses = new TypeMap { def apply(tp: Type) = tp match { - case tp: TypeRef if !tp.symbol.isClass => + case tp: TypeRef if tp.symbol.isAbstractOrAliasType => val pre = tp.prefix def joinClass(tp: Type, cls: ClassSymbol) = AndType(tp, cls.symTypeRef.asSeenFrom(pre, cls.owner)) |