We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 84590eb commit 2019292Copy full SHA for 2019292
src/dotty/tools/dotc/typer/Typer.scala
@@ -826,7 +826,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
826
}
827
828
def typedAppliedTypeTree(tree: untpd.AppliedTypeTree)(implicit ctx: Context): AppliedTypeTree = track("typedAppliedTypeTree") {
829
- val tpt1 = typed(tree.tpt)
+ val tpt1 = typed(tree.tpt)(ctx retractMode Mode.Pattern)
830
val argPts =
831
if (ctx.mode is Mode.Pattern) tpt1.tpe.typeParams.map(_.info)
832
else tree.args.map(_ => WildcardType)
0 commit comments