From 9bde23afb0ee6c4dddf637d16defb5074c5a1db8 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 15 Jul 2016 13:30:42 +0200 Subject: Drop superfluous code The dropped lines were both pure functions whose result is ignored. --- src/dotty/tools/dotc/typer/Typer.scala | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'src') 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) } -- cgit v1.2.3