diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-12-19 14:58:07 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-12-19 14:58:07 +0100 |
| commit | dacea9fd70d6de85688da75fc7fa0f7493bcc06a (patch) | |
| tree | f9cfb5a2fc00fd343788599cc5ab79511e9fee53 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 44ddd2ec207d08faa74e43661da664975a588e84 (diff) | |
| download | dotty-dacea9fd70d6de85688da75fc7fa0f7493bcc06a.tar.gz dotty-dacea9fd70d6de85688da75fc7fa0f7493bcc06a.tar.bz2 dotty-dacea9fd70d6de85688da75fc7fa0f7493bcc06a.zip | |
Fixed problem in adapt after infer implicit arguments.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index cf7d54ca6..69705cfce 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1071,7 +1071,7 @@ class Typer extends Namer with Applications with Implicits { implicitArgError(i"no implicit argument of type $formal found for $where" + failure.postscript) } } - adapt(tpd.Apply(tree, args), wtp.resultType) + adapt(tpd.Apply(tree, args), pt) case wtp: MethodType if !pt.isInstanceOf[SingletonType] => if ((defn.isFunctionType(pt) || (pt eq AnyFunctionProto)) && !tree.symbol.isConstructor) |