diff options
| author | Paul Phillips <paulp@improving.org> | 2012-04-13 12:14:26 +0100 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-04-13 12:36:04 +0100 |
| commit | 5d42159cec3ac04310c35500cd9e01419b0fb587 (patch) | |
| tree | 2690b93de3e620b341899b6971c42285ff9665d9 /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
| parent | f7ea088d4f1e682a68d236973d73aff6dd87e5c8 (diff) | |
| download | scala-5d42159cec3ac04310c35500cd9e01419b0fb587.tar.gz scala-5d42159cec3ac04310c35500cd9e01419b0fb587.tar.bz2 scala-5d42159cec3ac04310c35500cd9e01419b0fb587.zip | |
Touching the untouchable.
extempore thinks polymorphism beats boolean constructor parameters
any day of the week.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Implicits.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |