summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@epfl.ch>2011-01-26 07:32:21 +0000
committerAdriaan Moors <adriaan.moors@epfl.ch>2011-01-26 07:32:21 +0000
commitfe1f2b8096571947ac07126fb155aba94ea2088a (patch)
treeb31a573ab0c9fb276bfaea8c4eacc86114b24ae8 /src/compiler/scala/tools/nsc/typechecker/Implicits.scala
parente372dc07675e31159dcd2989dcd99d2ead53948a (diff)
downloadscala-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/compiler/scala/tools/nsc/typechecker/Implicits.scala')
-rw-r--r--src/compiler/scala/tools/nsc/typechecker/Implicits.scala4
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