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 050c9af commit ad4ce03Copy full SHA for ad4ce03
src/dotty/tools/dotc/typer/Typer.scala
@@ -432,7 +432,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
432
val tpt1 = typedTpt
433
// special case for an abstract type that comes with a class tag
434
tpt1.tpe.dealias match {
435
- case tref: TypeRef if !tref.symbol.isClass =>
+ case tref: TypeRef if !tref.symbol.isClass && !ctx.isAfterTyper =>
436
inferImplicit(defn.ClassTagType.appliedTo(tref),
437
EmptyTree, tpt1.pos)(ctx.retractMode(Mode.Pattern)) match {
438
case SearchSuccess(arg, _, _) =>
0 commit comments