diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-09 20:34:05 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-09 20:34:05 +0100 |
commit | 0b2de1b4f48655b81796cfdf80c087443f3d0fda (patch) | |
tree | 1c200cbc5a830800a6b3f67c64cfa965bea4843b /src/dotty/tools/dotc | |
parent | 9e63bf253c169d6b2a2e74f65b3a4029f0781655 (diff) | |
download | dotty-0b2de1b4f48655b81796cfdf80c087443f3d0fda.tar.gz dotty-0b2de1b4f48655b81796cfdf80c087443f3d0fda.tar.bz2 dotty-0b2de1b4f48655b81796cfdf80c087443f3d0fda.zip |
Don't do an implicit conversion to Any, AnyRef, or Unit.
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 017e5cbe9..4526c3582 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -274,7 +274,10 @@ trait Implicits { self: Typer => * result is compatible with type `to`. */ def inferView(from: Tree, to: Type)(implicit ctx: Context): SearchResult = track("inferView") { - inferImplicit(to.stripTypeVar, from, from.pos) + if ( (to isRef defn.AnyClass) + || (to isRef defn.ObjectClass) + || (to isRef defn.UnitClass)) NoImplicitMatches + else inferImplicit(to.stripTypeVar, from, from.pos) } /** Find an implicit parameter or conversion. |