diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-22 18:12:43 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-23 11:49:06 +0200 |
| commit | 890b8a45cc9d83a6ef67fee3ee05084313f34688 (patch) | |
| tree | 71304e74ba8b4ef83749c57bd4f63f313db76a50 /src/dotty/tools/dotc/typer/Implicits.scala | |
| parent | 0fba8757b444d96c748df1e034d39f7626a39d1e (diff) | |
| download | dotty-890b8a45cc9d83a6ef67fee3ee05084313f34688.tar.gz dotty-890b8a45cc9d83a6ef67fee3ee05084313f34688.tar.bz2 dotty-890b8a45cc9d83a6ef67fee3ee05084313f34688.zip | |
Avoid follow-on errors after implicit argument errors.
Previously, we could die with a <notype> when an implicit argument was not found.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Implicits.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index a3ddca5d9..8a92eb726 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -450,7 +450,7 @@ trait Implicits { self: Typer => // Not clear whether we need to drop the `.widen` here. All tests pass with it in place, though. assert(argument.isEmpty || argument.tpe.isValueType || argument.tpe.isInstanceOf[ExprType], - d"found: ${argument.tpe}, expected: $pt") + d"found: $argument: ${argument.tpe}, expected: $pt") /** The expected type for the searched implicit */ lazy val fullProto = implicitProto(pt, identity) |