diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-11-08 12:07:47 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-11-09 19:09:52 +0100 |
| commit | 0d0a37f755bece2b44de65ce4bbcf34184813fae (patch) | |
| tree | 709c3ff1ac72706a5ba9acbe6197eb4195883c95 | |
| parent | a8cd662ce26e915fb045bfd34b7ac9aa88f69721 (diff) | |
| download | dotty-0d0a37f755bece2b44de65ce4bbcf34184813fae.tar.gz dotty-0d0a37f755bece2b44de65ce4bbcf34184813fae.tar.bz2 dotty-0d0a37f755bece2b44de65ce4bbcf34184813fae.zip | |
Better error message for adaptations of implicit methods
Ig an implicit method has a result type which does not match the expected
type, the new case fires. We avoid to diagnose missing arguments, because
that's really confusing for an implicit method.
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 59fda174d..a5396d445 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1245,6 +1245,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit typed(etaExpand(tree, wtp, arity), pt) else if (wtp.paramTypes.isEmpty) adaptInterpolated(tpd.Apply(tree, Nil), pt, EmptyTree) + else if (wtp.isImplicit) + err.typeMismatch(tree, pt) else errorTree(tree, d"""missing arguments for $methodStr |