diff options
| author | Lukas Rytz <lukas.rytz@gmail.com> | 2016-07-08 10:11:07 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@gmail.com> | 2016-07-12 17:55:25 +0200 |
| commit | d33f2993782c259831e10beacc8274424b3a6250 (patch) | |
| tree | a0fd9d35e061a716730f6a91f3daddb9c8d928d5 /src/compiler | |
| parent | 6612ba010b0e70c53550d1e47141c8dc89a55f23 (diff) | |
| download | scala-d33f2993782c259831e10beacc8274424b3a6250.tar.gz scala-d33f2993782c259831e10beacc8274424b3a6250.tar.bz2 scala-d33f2993782c259831e10beacc8274424b3a6250.zip | |
SI-9849 set privateWithin on default getters
A default getter get the same access flag (private / protected) as the
method whose default it implements. However, we forgot to set the
privateWithin flag, which defines the scope in a qualified private /
protected modifier.
For a private[p], the default getter was therefore public, which is less
restricted (a private[p] method has privateWithin set to p, but the
private flag is not set). For a protected[p], the default getter was
protected, which is more restricted.
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Namers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Namers.scala b/src/compiler/scala/tools/nsc/typechecker/Namers.scala index 9c1ba7ced1..ad9377f8b4 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Namers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Namers.scala @@ -1346,7 +1346,7 @@ trait Namers extends MethodSynthesis { val defRhs = rvparam.rhs val defaultTree = atPos(vparam.pos.focus) { - DefDef(Modifiers(paramFlagsToDefaultGetter(meth.flags)) | oflag, name, defTparams, defVparamss, defTpt, defRhs) + DefDef(Modifiers(paramFlagsToDefaultGetter(meth.flags), ddef.mods.privateWithin) | oflag, name, defTparams, defVparamss, defTpt, defRhs) } if (!isConstr) methOwner.resetFlag(INTERFACE) // there's a concrete member now |