diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-05-18 17:03:49 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2010-05-18 17:03:49 +0000 |
| commit | b081940e5a6faf0f4adbbe32a3e0da97235e3390 (patch) | |
| tree | 51426615aed03af728e6d81100699d5b5ca06d69 /src/compiler | |
| parent | 516a00c88c3d0bd60dd873a1d669e91144496896 (diff) | |
| download | scala-b081940e5a6faf0f4adbbe32a3e0da97235e3390.tar.gz scala-b081940e5a6faf0f4adbbe32a3e0da97235e3390.tar.bz2 scala-b081940e5a6faf0f4adbbe32a3e0da97235e3390.zip | |
cook raw type when copying down result type
closes #3404
review by odersky
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Namers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index 54c74107e0..03b2d5574c 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -875,6 +875,7 @@ trait Namers { self: Analyzer => if (vparam.tpt.isEmpty) vparam.symbol setInfo WildcardType val overridden = overriddenSymbol if (overridden != NoSymbol && !(overridden hasFlag OVERLOADED)) { + overridden.cookJavaRawInfo() // #3404 xform java rawtypes into existentials resultPt = site.memberType(overridden) match { case PolyType(tparams, rt) => rt.substSym(tparams, tparamSyms) case mt => mt |