From 0b2de1b4f48655b81796cfdf80c087443f3d0fda Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 9 Jan 2014 20:34:05 +0100 Subject: Don't do an implicit conversion to Any, AnyRef, or Unit. --- src/dotty/tools/dotc/typer/Implicits.scala | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc') 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. -- cgit v1.2.3