We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4250b26 commit 1643e2fCopy full SHA for 1643e2f
src/dotty/tools/dotc/typer/Typer.scala
@@ -431,7 +431,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
431
val tpt1 = typedTpt
432
// special case for an abstract type that comes with a class tag
433
tpt1.tpe.dealias match {
434
- case tref: TypeRef if !tref.symbol.isClass =>
+ case tref: TypeRef if !tref.symbol.isClass && !ctx.isAfterTyper =>
435
inferImplicit(defn.ClassTagType.appliedTo(tref),
436
EmptyTree, tpt1.pos)(ctx.retractMode(Mode.Pattern)) match {
437
case SearchSuccess(arg, _, _) =>
0 commit comments