diff options
| author | Martin Odersky <odersky@gmail.com> | 2010-03-11 14:21:21 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2010-03-11 14:21:21 +0000 |
| commit | 6aaf4a3d5e730b0ed12eed78ae0940693c37ed22 (patch) | |
| tree | 01ae9cbc32875c33b7c51dc5a4a9a936d9c5216b /src/compiler/scala/tools/nsc/typechecker/Implicits.scala | |
| parent | d12ea6d31fa2624cb88f031d346ec13d74992302 (diff) | |
| download | scala-6aaf4a3d5e730b0ed12eed78ae0940693c37ed22.tar.gz scala-6aaf4a3d5e730b0ed12eed78ae0940693c37ed22.tar.bz2 scala-6aaf4a3d5e730b0ed12eed78ae0940693c37ed22.zip | |
Closes #2940.
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 f464576979..92ce07cd9e 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala @@ -836,7 +836,7 @@ self: Analyzer => // refinement is not generated yet if (parents.length == 1) findManifest(parents.head) else if (full) manifestFactoryCall("intersectionType", tp, parents map (findSubManifest(_)): _*) - else mot(erasure.erasure(tp0)) + else mot(erasure.erasure.intersectionDominator(parents)) case ExistentialType(tparams, result) => existentialAbstraction(tparams, result) match { case ExistentialType(_, _) => mot(result) |