diff options
| -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. |