diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2017-04-10 10:12:01 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-10 10:12:01 -0700 |
commit | 715c88e9b74d1b4d1d0c4da9d0cc8f1b740e2dd3 (patch) | |
tree | b851e7bfd0dd821b39eae1ac25ca053362bee72d /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | 2ba0530218daa170df5f1d25f7b39ab8cb8d0cf7 (diff) | |
parent | ade53a123c1edce12db442ee74b636d130e7e0f2 (diff) | |
download | scala-715c88e9b74d1b4d1d0c4da9d0cc8f1b740e2dd3.tar.gz scala-715c88e9b74d1b4d1d0c4da9d0cc8f1b740e2dd3.tar.bz2 scala-715c88e9b74d1b4d1d0c4da9d0cc8f1b740e2dd3.zip |
Merge pull request #5816 from adriaanm/userdefined-apply-212
Allow user-defined `[un]apply` in case companion
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 85ca9950c4..05f7deb352 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3099,8 +3099,7 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper || (looker.hasAccessorFlag && !accessed.hasAccessorFlag && accessed.isPrivate) ) - def checkNoDoubleDefs: Unit = { - val scope = if (inBlock) context.scope else context.owner.info.decls + def checkNoDoubleDefs(scope: Scope): Unit = { var e = scope.elems while ((e ne null) && e.owner == scope) { var e1 = scope.lookupNextEntry(e) @@ -3143,8 +3142,7 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper } } - def addSynthetics(stats: List[Tree]): List[Tree] = { - val scope = if (inBlock) context.scope else context.owner.info.decls + def addSynthetics(stats: List[Tree], scope: Scope): List[Tree] = { var newStats = new ListBuffer[Tree] var moreToAdd = true while (moreToAdd) { @@ -3219,11 +3217,14 @@ trait Typers extends Adaptations with Tags with TypersTracking with PatternTyper val stats1 = stats mapConserve typedStat if (phase.erasedTypes) stats1 else { + val scope = if (inBlock) context.scope else context.owner.info.decls + // As packages are open, it doesn't make sense to check double definitions here. Furthermore, // it is expensive if the package is large. Instead, such double definitions are checked in `Namers.enterInScope` if (!context.owner.isPackageClass) - checkNoDoubleDefs - addSynthetics(stats1) + checkNoDoubleDefs(scope) + + addSynthetics(stats1, scope) } } |