diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-19 16:48:50 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-20 10:19:58 +0100 |
| commit | ad4ce030052d6013641eefc9481e50c2ca0b9c2e (patch) | |
| tree | 129d61cac766fc0ec35007737d5f01bee55eb7fa /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 050c9af51432e3a752715af78b0de577d5af7f87 (diff) | |
| download | dotty-ad4ce030052d6013641eefc9481e50c2ca0b9c2e.tar.gz dotty-ad4ce030052d6013641eefc9481e50c2ca0b9c2e.tar.bz2 dotty-ad4ce030052d6013641eefc9481e50c2ca0b9c2e.zip | |
Search for classtag only during typer.
We do not want to do implicit search during tree checking.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 64c118288..84344dbb1 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -432,7 +432,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit val tpt1 = typedTpt // special case for an abstract type that comes with a class tag tpt1.tpe.dealias match { - case tref: TypeRef if !tref.symbol.isClass => + case tref: TypeRef if !tref.symbol.isClass && !ctx.isAfterTyper => inferImplicit(defn.ClassTagType.appliedTo(tref), EmptyTree, tpt1.pos)(ctx.retractMode(Mode.Pattern)) match { case SearchSuccess(arg, _, _) => |