diff options
author | Martin Odersky <odersky@gmail.com> | 2015-06-24 15:26:44 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-06-24 15:26:44 +0200 |
commit | 5395414a68bdcf682bbfc8de5d1c47e86fce708a (patch) | |
tree | 58b652140ce2849e4524da964ecc292148d149f2 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | ffac03ab718637c414f5e23524f458b4f4e8f817 (diff) | |
download | dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.tar.gz dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.tar.bz2 dotty-5395414a68bdcf682bbfc8de5d1c47e86fce708a.zip |
Drop redundant adapt.
The term in a SearchSuccess has already been adapted to the expected type.
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 3f8785090..a8e28b8c2 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1292,7 +1292,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit def where = d"parameter $pname of $methodStr" inferImplicit(formal, EmptyTree, tree.pos.endPos) match { case SearchSuccess(arg, _, _) => - adapt(arg, formal) + arg case ambi: AmbiguousImplicits => implicitArgError(s"ambiguous implicits: ${ambi.explanation} of $where") case failure: SearchFailure => |