diff options
| author | Martin Odersky <odersky@gmail.com> | 2012-02-15 12:04:36 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2012-02-15 12:04:36 +0100 |
| commit | cd6426a8c501eda2105196fc5a254d8f0dd77633 (patch) | |
| tree | 19f5640aa4aacc3ea34c48ae4882f6170258b93c /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
| parent | ea96b48d9274e90b64b66e51507460c004c01643 (diff) | |
| download | scala-cd6426a8c501eda2105196fc5a254d8f0dd77633.tar.gz scala-cd6426a8c501eda2105196fc5a254d8f0dd77633.tar.bz2 scala-cd6426a8c501eda2105196fc5a254d8f0dd77633.zip | |
Changed array erasure scheme to never unbox elements of inline classes.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index 064a3dd229..91ea7c7cd9 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -515,7 +515,8 @@ abstract class RefChecks extends InfoTransform with reflect.internal.transform.R !other.isDeferred && other.isJavaDefined && { // #3622: erasure operates on uncurried types -- // note on passing sym in both cases: only sym.isType is relevant for uncurry.transformInfo - def uncurryAndErase(tp: Type) = erasure.erasure(sym, uncurry.transformInfo(sym, tp)) + // !!! erasure.erasure(sym, uncurry.transformInfo(sym, tp)) gives erreneous of inaccessible type - check whether that's still the case! + def uncurryAndErase(tp: Type) = erasure.erasure(sym)(uncurry.transformInfo(sym, tp)) val tp1 = uncurryAndErase(clazz.thisType.memberType(sym)) val tp2 = uncurryAndErase(clazz.thisType.memberType(other)) atPhase(currentRun.erasurePhase.next)(tp1 matches tp2) |