diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-26 07:32:21 +0000 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2011-01-26 07:32:21 +0000 |
commit | fe1f2b8096571947ac07126fb155aba94ea2088a (patch) | |
tree | b31a573ab0c9fb276bfaea8c4eacc86114b24ae8 /src | |
parent | e372dc07675e31159dcd2989dcd99d2ead53948a (diff) | |
download | scala-fe1f2b8096571947ac07126fb155aba94ea2088a.tar.gz scala-fe1f2b8096571947ac07126fb155aba94ea2088a.tar.bz2 scala-fe1f2b8096571947ac07126fb155aba94ea2088a.zip |
closes #3977.
review by extempore
(because of recent sin against this holy principle)
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Implicits.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala index ca690735a4..27a582f4d9 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -911,8 +911,8 @@ trait Implicits { case SearchFailure if sym == OptManifestClass => wrapResult(gen.mkAttributedRef(NoManifest)) case result => result } - case TypeRef(_, sym, _) if sym.isAbstractType => - implicitManifestOrOfExpectedType(pt.bounds.lo) + case tp@TypeRef(_, sym, _) if sym.isAbstractType => + implicitManifestOrOfExpectedType(tp.bounds.lo) // #3977: use tp (==pt.dealias), not pt (if pt is a type alias, pt.bounds.lo == pt) case _ => searchImplicit(implicitsOfExpectedType, false) // shouldn't we pass `pt` to `implicitsOfExpectedType`, or is the recursive case |