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/Typer.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/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 97bd0f514..3f8785090 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1299,7 +1299,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit implicitArgError(d"no implicit argument of type $formal found for $where" + failure.postscript) } } - adapt(tpd.Apply(tree, args), pt) + if (args.exists(_.isEmpty)) tree + else adapt(tpd.Apply(tree, args), pt) } if ((pt eq WildcardType) || original.isEmpty) addImplicitArgs else |