diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-01-15 13:58:45 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-01-26 15:41:08 +0100 |
commit | 2580a51bbaccb31ad88679874d6ad626f8d4491c (patch) | |
tree | 01717ceba9d7af4d93819e6f615e295451c23b4e /src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | |
parent | 412ad5724c0ca34f5fd6982ff6a0b12a437218bc (diff) | |
download | scala-2580a51bbaccb31ad88679874d6ad626f8d4491c.tar.gz scala-2580a51bbaccb31ad88679874d6ad626f8d4491c.tar.bz2 scala-2580a51bbaccb31ad88679874d6ad626f8d4491c.zip |
Laying groundwork for a followup ticket.
To solve SI-5304, we should change `isQualifierSafeToElide`.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/RefChecks.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/RefChecks.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala index b820d8a386..fd3b020b1a 100644 --- a/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala +++ b/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala @@ -1391,7 +1391,7 @@ abstract class RefChecks extends InfoTransform with scala.reflect.internal.trans case Select(module, apply) => ( // SI-4859 `CaseClass1().InnerCaseClass2()` must not be rewritten to `new InnerCaseClass2()`; // {expr; Outer}.Inner() must not be rewritten to `new Outer.Inner()`. - treeInfo.isExprSafeToInline(module) && + treeInfo.isQualifierSafeToElide(module) && // SI-5626 Classes in refinement types cannot be constructed with `new`. In this case, // the companion class is actually not a ClassSymbol, but a reference to an abstract type. module.symbol.companionClass.isClass |