From 5d42159cec3ac04310c35500cd9e01419b0fb587 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Fri, 13 Apr 2012 12:14:26 +0100 Subject: Touching the untouchable. extempore thinks polymorphism beats boolean constructor parameters any day of the week. --- src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala') diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index 2de86c67bf..eb8bef3b58 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -107,7 +107,7 @@ trait Implicits { */ def allViewsFrom(tp: Type, context: Context, tpars: List[Symbol]): List[(SearchResult, List[TypeConstraint])] = { // my untouchable typevars are better than yours (they can't be constrained by them) - val tvars = tpars map (TypeVar.apply(_, untouchable = true)) + val tvars = tpars map (TypeVar untouchable _) val tpSubsted = tp.subst(tpars, tvars) val search = new ImplicitSearch(EmptyTree, functionType(List(tpSubsted), AnyClass.tpe), true, context.makeImplicit(false)) -- cgit v1.2.3