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 490cc5f commit 9bde23aCopy full SHA for 9bde23a
src/dotty/tools/dotc/typer/Typer.scala
@@ -449,11 +449,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
449
case _ =>
450
}
451
452
- if (!ctx.isAfterTyper) {
453
- val setBefore = ctx.mode is Mode.GADTflexible
454
- tpt1.tpe.<:<(pt)(ctx.addMode(Mode.GADTflexible))
455
- if (!setBefore) ctx.retractMode(Mode.GADTflexible)
456
- }
+ if (!ctx.isAfterTyper) tpt1.tpe.<:<(pt)(ctx.addMode(Mode.GADTflexible))
457
458
ascription(tpt1, isWildcard = true)
459
0 commit comments