diff options
| author | Martin Odersky <odersky@gmail.com> | 2009-08-20 09:53:56 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2009-08-20 09:53:56 +0000 |
| commit | ff6271982d74f7c13f8f5993cace1ce238d1007c (patch) | |
| tree | 8ccbc8f1473a134566872ffdf83af6a0ec2ade56 /src | |
| parent | 1cea0ea34a3d3ebecb9fcf3fd1379f463a083c56 (diff) | |
| download | scala-ff6271982d74f7c13f8f5993cace1ce238d1007c.tar.gz scala-ff6271982d74f7c13f8f5993cace1ce238d1007c.tar.bz2 scala-ff6271982d74f7c13f8f5993cace1ce238d1007c.zip | |
removed failing assertion.
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 1fe8220dc2..6a6c3687e0 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -69,7 +69,7 @@ self: Analyzer => /** If type `pt` an instance of Manifest or OptManifest, or an abstract type lower-bounded * by such an instance? */ - def isManifest(pt: Type): Boolean = pt match { + def isManifest(pt: Type): Boolean = pt.dealias match { case TypeRef(_, ManifestClass, List(_)) | TypeRef(_, OptManifestClass, List(_)) => true case TypeRef(_, tsym, _) => tsym.isAbstractType && isManifest(pt.bounds.lo) @@ -130,7 +130,7 @@ self: Analyzer => class ImplicitSearch(tree: Tree, pt: Type, isView: Boolean, context0: Context) extends Typer(context0) { - assert(tree.isEmpty || tree.pos.isDefined, tree) +// assert(tree.isEmpty || tree.pos.isDefined, tree) import infer._ |