diff options
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 10279ba8e..e0e4aaf08 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -449,11 +449,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case _ => } case _ => - if (!ctx.isAfterTyper) { - val setBefore = ctx.mode is Mode.GADTflexible - tpt1.tpe.<:<(pt)(ctx.addMode(Mode.GADTflexible)) - if (!setBefore) ctx.retractMode(Mode.GADTflexible) - } + if (!ctx.isAfterTyper) tpt1.tpe.<:<(pt)(ctx.addMode(Mode.GADTflexible)) } ascription(tpt1, isWildcard = true) } |