diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-12-12 10:42:47 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-12-12 10:46:48 +0100 |
| commit | 4c1bf42414b7f7ed99653fe841b032eb11864f2a (patch) | |
| tree | 3ff1602e1463e2345c168cfdf77dfcc7101f53e7 /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 1c03d45b1649bb8307c09ebfd2bcb3b9efe50dad (diff) | |
| download | dotty-4c1bf42414b7f7ed99653fe841b032eb11864f2a.tar.gz dotty-4c1bf42414b7f7ed99653fe841b032eb11864f2a.tar.bz2 dotty-4c1bf42414b7f7ed99653fe841b032eb11864f2a.zip | |
Drop explicit types for local implicit vals
Drop explicit types for local implicit vals of type Context
and Position. Exercises the functionality and shortens the code.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/typer/Applications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala index 11121e1f3..a3b4cb311 100644 --- a/compiler/src/dotty/tools/dotc/typer/Applications.scala +++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala @@ -992,7 +992,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic => val nestedCtx = ctx.fresh.setExploreTyperState { - implicit val ctx: Context = nestedCtx + implicit val ctx = nestedCtx isAsSpecificValueType(tp1, constrained(tp2).resultType) } case _ => // (3b) |