Skip to content

Commit 36a9940

Browse files
bishaboshabishabosha
authored
Better error message when accessing private members (#18690)
Fixes #18686
2 parents 89fa247 + 6c1fce0 commit 36a9940

File tree

14 files changed

+156
-29
lines changed

14 files changed

+156
-29
lines changed

‎community-build/community-projects/stdLib213‎

Submodule stdLib213 updated 489 files

‎compiler/src/dotty/tools/dotc/core/SymDenotations.scala‎

Lines changed: 4 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -888,7 +888,7 @@ object SymDenotations {
888888
* As a side effect, drop Local flags of members that are not accessed via the ThisType
889889
* of their owner.
890890
*/
891-
final def isAccessibleFrom(pre: Type, superAccess: Boolean = false, whyNot: StringBuffer | Null = null)(using Context): Boolean = {
891+
final def isAccessibleFrom(pre: Type, superAccess: Boolean = false)(using Context): Boolean = {
892892

893893
/** Are we inside definition of `boundary`?
894894
* If this symbol is Java defined, package structure is interpreted to be flat.
@@ -905,26 +905,13 @@ object SymDenotations {
905905

906906
/** Is protected access to target symbol permitted? */
907907
def isProtectedAccessOK: Boolean =
908-
inline def fail(str: String): false =
909-
if whyNot != null then whyNot.nn.append(str)
910-
false
911908
val cls = owner.enclosingSubClass
912909
if !cls.exists then
913-
if pre.termSymbol.isPackageObject && accessWithin(pre.termSymbol.owner) then
914-
true
915-
else
916-
val encl = if ctx.owner.isConstructor then ctx.owner.enclosingClass.owner.enclosingClass else ctx.owner.enclosingClass
917-
val location = if owner.is(Final) then owner.showLocated else owner.showLocated + " or one of its subclasses"
918-
fail(i"""
919-
| Protected $this can only be accessed from $location.""")
920-
else if isType || pre.derivesFrom(cls) || isConstructor || owner.is(ModuleClass) then
910+
pre.termSymbol.isPackageObject && accessWithin(pre.termSymbol.owner)
911+
else
921912
// allow accesses to types from arbitrary subclasses fixes #4737
922913
// don't perform this check for static members
923-
true
924-
else
925-
val location = if cls.is(Final) then cls.showLocated else cls.showLocated + " or one of its subclasses"
926-
fail(i"""
927-
| Protected $this can only be accessed from $location.""")
914+
isType || pre.derivesFrom(cls) || isConstructor || owner.is(ModuleClass)
928915
end isProtectedAccessOK
929916

930917
if pre eq NoPrefix then true

‎compiler/src/dotty/tools/dotc/reporting/messages.scala‎

Lines changed: 19 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -876,7 +876,7 @@ extends Message(PatternMatchExhaustivityID) {
876876

877877
val pathes = List(
878878
ActionPatch(
879-
srcPos = endPos,
879+
srcPos = endPos,
880880
replacement = uncoveredCases.map(c => indent(s"case $c => ???", startColumn))
881881
.mkString("\n", "\n", "")
882882
),
@@ -2986,7 +2986,24 @@ extends ReferenceMsg(CannotBeAccessedID):
29862986
i"none of the overloaded alternatives named $name can"
29872987
val where = if (ctx.owner.exists) i" from ${ctx.owner.enclosingClass}" else ""
29882988
val whyNot = new StringBuffer
2989-
alts.foreach(_.isAccessibleFrom(pre, superAccess, whyNot))
2989+
for alt <- alts do
2990+
val cls = alt.owner.enclosingSubClass
2991+
val owner = if cls.exists then cls else alt.owner
2992+
val location: String =
2993+
if alt.is(Protected) then
2994+
if alt.privateWithin.exists && alt.privateWithin != owner then
2995+
if owner.is(Final) then alt.privateWithin.showLocated
2996+
else alt.privateWithin.showLocated + ", or " + owner.showLocated + " or one of its subclasses"
2997+
else
2998+
if owner.is(Final) then owner.showLocated
2999+
else owner.showLocated + " or one of its subclasses"
3000+
else
3001+
alt.privateWithin.orElse(owner).showLocated
3002+
val accessMod = if alt.is(Protected) then "protected" else "private"
3003+
val within = if alt.privateWithin.exists then i"[${alt.privateWithin.name}]"
3004+
else ""
3005+
whyNot.append(i"""
3006+
| $accessMod$within $alt can only be accessed from $location.""")
29903007
i"$whatCanNot be accessed as a member of $pre$where.$whyNot"
29913008
def explain(using Context) = ""
29923009

‎compiler/test-resources/repl/i1370‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,5 @@ scala> object Lives { class Private { def foo1: Any = new Private.C1; def foo2:
33
1 | object Lives { class Private { def foo1: Any = new Private.C1; def foo2: Any = new Private.C2 }; object Private { class C1 private {}; private class C2 {} } }
44
| ^^^^^^^^^^
55
|constructor C1 cannot be accessed as a member of Lives.Private.C1 from class Private.
6+
| private constructor C1 can only be accessed from class C1 in object Private.
67
1 error found

‎tests/neg/i12573.check‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,4 +5,4 @@
55
|Extension methods were tried, but the search failed with:
66
|
77
| method getDFType cannot be accessed as a member of DFType.type from the top-level definitions in package <empty>.
8-
| Protected method getDFType can only be accessed from object DFType.
8+
| protected method getDFType can only be accessed from object DFType.

‎tests/neg/i14432c.check‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
12 |class Bar extends example.Foo(23) { // error: cant access private[example] ctor
33
| ^^^^^^^^^^^
44
| constructor Foo cannot be accessed as a member of example.Foo from class Bar.
5+
| private[example] constructor Foo can only be accessed from package example.
56
-- [E172] Type Error: tests/neg/i14432c.scala:16:43 --------------------------------------------------------------------
67
16 | val mFoo = summon[Mirror.Of[example.Foo]] // error: no mirror
78
| ^

‎tests/neg/i18686.check‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
-- [E173] Reference Error: tests/neg/i18686.scala:13:16 ----------------------------------------------------------------
2+
13 | println(Foo.Bar1) // error
3+
| ^^^^^^^^
4+
| value Bar1 cannot be accessed as a member of Foo.type from object Main.
5+
| private value Bar1 can only be accessed from object Foo.
6+
-- [E173] Reference Error: tests/neg/i18686.scala:14:16 ----------------------------------------------------------------
7+
14 | println(Foo.Bar2) // error
8+
| ^^^^^^^^
9+
| value Bar2 cannot be accessed as a member of Foo.type from object Main.
10+
| private[Foo] value Bar2 can only be accessed from object Foo.
11+
-- [E173] Reference Error: tests/neg/i18686.scala:15:16 ----------------------------------------------------------------
12+
15 | println(Foo.Bar3) // error
13+
| ^^^^^^^^
14+
| value Bar3 cannot be accessed as a member of Foo.type from object Main.
15+
| protected value Bar3 can only be accessed from object Foo.
16+
-- [E173] Reference Error: tests/neg/i18686.scala:16:16 ----------------------------------------------------------------
17+
16 | println(Foo.Bar4) // error
18+
| ^^^^^^^^
19+
| value Bar4 cannot be accessed as a member of Foo.type from object Main.
20+
| protected[Foo] value Bar4 can only be accessed from object Foo.
21+
-- [E173] Reference Error: tests/neg/i18686.scala:17:20 ----------------------------------------------------------------
22+
17 | println(Foo.Baz.Bar5) // error
23+
| ^^^^^^^^^^^^
24+
| value Bar5 cannot be accessed as a member of Foo.Baz.type from object Main.
25+
| private[Foo] value Bar5 can only be accessed from object Foo.
26+
-- [E173] Reference Error: tests/neg/i18686.scala:18:20 ----------------------------------------------------------------
27+
18 | println(Foo.Baz.Bar6) // error
28+
| ^^^^^^^^^^^^
29+
| value Bar6 cannot be accessed as a member of Foo.Baz.type from object Main.
30+
| protected[Foo] value Bar6 can only be accessed from object Foo.

‎tests/neg/i18686.scala‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
object Foo:
2+
private val Bar1: Int = 1
3+
private[Foo] val Bar2: Int = 2
4+
protected val Bar3: Int = 3
5+
protected[Foo] val Bar4: Int = 5
6+
object Baz:
7+
private[Foo] val Bar5: Int = 5
8+
protected[Foo] val Bar6: Int = 6
9+
end Foo
10+
11+
object Main:
12+
def main(args: Array[String]): Unit =
13+
println(Foo.Bar1) // error
14+
println(Foo.Bar2) // error
15+
println(Foo.Bar3) // error
16+
println(Foo.Bar4) // error
17+
println(Foo.Baz.Bar5) // error
18+
println(Foo.Baz.Bar6) // error
19+
end main
20+
end Main

‎tests/neg/i18686b.check‎

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
-- [E173] Reference Error: tests/neg/i18686b.scala:15:16 ---------------------------------------------------------------
2+
15 | println(foo.Bar1) // error
3+
| ^^^^^^^^
4+
| value Bar1 cannot be accessed as a member of Foo from object Main.
5+
| private value Bar1 can only be accessed from class Foo.
6+
-- [E173] Reference Error: tests/neg/i18686b.scala:16:16 ---------------------------------------------------------------
7+
16 | println(foo.Bar2) // error
8+
| ^^^^^^^^
9+
| value Bar2 cannot be accessed as a member of Foo from object Main.
10+
| private[Foo] value Bar2 can only be accessed from class Foo.
11+
-- [E173] Reference Error: tests/neg/i18686b.scala:17:16 ---------------------------------------------------------------
12+
17 | println(foo.Bar3) // error
13+
| ^^^^^^^^
14+
| value Bar3 cannot be accessed as a member of Foo from object Main.
15+
| protected value Bar3 can only be accessed from class Foo or one of its subclasses.
16+
-- [E173] Reference Error: tests/neg/i18686b.scala:18:16 ---------------------------------------------------------------
17+
18 | println(foo.Bar4) // error
18+
| ^^^^^^^^
19+
| value Bar4 cannot be accessed as a member of Foo from object Main.
20+
| protected[Foo] value Bar4 can only be accessed from class Foo or one of its subclasses.
21+
-- [E008] Not Found Error: tests/neg/i18686b.scala:19:20 ---------------------------------------------------------------
22+
19 | println(foo.Baz.Bar5) // error
23+
| ^^^^^^^^^^^^
24+
| value Bar5 is not a member of object Foo#Baz
25+
-- [E008] Not Found Error: tests/neg/i18686b.scala:20:20 ---------------------------------------------------------------
26+
20 | println(foo.Baz.Bar6) // error
27+
| ^^^^^^^^^^^^
28+
| value Bar6 is not a member of object Foo#Baz

‎tests/neg/i18686b.scala‎

Lines changed: 22 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
class Foo:
2+
private val Bar1: Int = 1
3+
private[Foo] val Bar2: Int = 2
4+
protected val Bar3: Int = 3
5+
protected[Foo] val Bar4: Int = 5
6+
class Baz:
7+
private[Foo] val Bar5: Int = 5
8+
protected[Foo] val Bar6: Int = 6
9+
end Foo
10+
11+
def foo = new Foo
12+
13+
object Main:
14+
def main(args: Array[String]): Unit =
15+
println(foo.Bar1) // error
16+
println(foo.Bar2) // error
17+
println(foo.Bar3) // error
18+
println(foo.Bar4) // error
19+
println(foo.Baz.Bar5) // error
20+
println(foo.Baz.Bar6) // error
21+
end main
22+
end Main

0 commit comments

Comments
 (0)