diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-02-25 18:28:12 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-27 15:45:48 +0100 |
| commit | 1aa4b56c4813117f3be3a725c404c242eccefe10 (patch) | |
| tree | 2fd534f987da9f0ac6410ccc3b752e1766546bf6 /compiler/src/dotty/tools/dotc/typer/Applications.scala | |
| parent | d0162aed64def280af8aa812514d101c1563fc28 (diff) | |
| download | dotty-1aa4b56c4813117f3be3a725c404c242eccefe10.tar.gz dotty-1aa4b56c4813117f3be3a725c404c242eccefe10.tar.bz2 dotty-1aa4b56c4813117f3be3a725c404c242eccefe10.zip | |
Don't chain implicit conversions
When inferring a view, we are not allowed to use another
implicit conversion to adapt its result. Fixing this revealed
another problem where we have to re-enable implicit conversions
when pre-typing arguments in overloading resolution.
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 de017961a..870198027 100644 --- a/compiler/src/dotty/tools/dotc/typer/Applications.scala +++ b/compiler/src/dotty/tools/dotc/typer/Applications.scala @@ -1375,7 +1375,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic => else WildcardType) val commonFormal = defn.FunctionOf(commonParamTypes, WildcardType) overload.println(i"pretype arg $arg with expected type $commonFormal") - pt.typedArg(arg, commonFormal) + pt.typedArg(arg, commonFormal)(ctx.addMode(Mode.ImplicitsEnabled)) } } } |