diff options
author | Martin Odersky <odersky@gmail.com> | 2016-07-15 13:30:42 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-15 13:30:42 +0200 |
commit | 9bde23afb0ee6c4dddf637d16defb5074c5a1db8 (patch) | |
tree | c5ee21bde2f242a9ecb2a0b8be8575a385d2683a | |
parent | 490cc5ff508b45e5b32bced5f4e760258450358e (diff) | |
download | dotty-9bde23afb0ee6c4dddf637d16defb5074c5a1db8.tar.gz dotty-9bde23afb0ee6c4dddf637d16defb5074c5a1db8.tar.bz2 dotty-9bde23afb0ee6c4dddf637d16defb5074c5a1db8.zip |
Drop superfluous code
The dropped lines were both pure functions whose result is ignored.
-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) } |