diff options
author | odersky <odersky@gmail.com> | 2016-12-15 17:44:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-15 17:44:06 +0100 |
commit | a5620ab882b95ef60acf42814ac5568d5f93bdd4 (patch) | |
tree | a524a250769cd72ebb316c30b8166c4c45d7fc43 /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
parent | 9f2b5ad068c06c62e28a3543218f5c1bc0362f74 (diff) | |
parent | bc869e74cb18ffdb4d42b59ad654f55403b9b6bd (diff) | |
download | dotty-a5620ab882b95ef60acf42814ac5568d5f93bdd4.tar.gz dotty-a5620ab882b95ef60acf42814ac5568d5f93bdd4.tar.bz2 dotty-a5620ab882b95ef60acf42814ac5568d5f93bdd4.zip |
Merge pull request #1785 from dotty-staging/fix-#1784
Fix #1784: allow to omit types for local implicit vals
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) |