Skip to content

Commit 6c1fce0

Browse files
nicolasstuckinicolasstucki
committed
Explain accessible scope of private members in error message
Fixes #18686
1 parent 8aec15b commit 6c1fce0

File tree

13 files changed

+135
-27
lines changed

13 files changed

+135
-27
lines changed

‎community-build/community-projects/stdLib213‎

Submodule stdLib213 updated 489 files

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

Lines changed: 17 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2987,12 +2987,23 @@ extends ReferenceMsg(CannotBeAccessedID):
29872987
val where = if (ctx.owner.exists) i" from ${ctx.owner.enclosingClass}" else ""
29882988
val whyNot = new StringBuffer
29892989
for alt <- alts do
2990-
if alt.is(Protected) then
2991-
val cls = alt.owner.enclosingSubClass
2992-
val owner = if cls.exists then cls else alt.owner
2993-
val location = if owner.is(Final) then owner.showLocated else owner.showLocated + " or one of its subclasses"
2994-
whyNot.append(i"""
2995-
| Protected $alt can only be accessed from $location.""")
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.""")
29963007
i"$whatCanNot be accessed as a member of $pre$where.$whyNot"
29973008
def explain(using Context) = ""
29983009

‎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: 26 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,30 @@
1-
-- [E173] Reference Error: tests/neg/i18686.scala:9:16 -----------------------------------------------------------------
2-
9 | println(Foo.Bar1) // error
3-
| ^^^^^^^^
4-
| value Bar1 cannot be accessed as a member of Foo.type from object Main.
5-
-- [E173] Reference Error: tests/neg/i18686.scala:10:16 ----------------------------------------------------------------
6-
10 | println(Foo.Bar2) // error
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
78
| ^^^^^^^^
89
| value Bar2 cannot be accessed as a member of Foo.type from object Main.
9-
-- [E173] Reference Error: tests/neg/i18686.scala:11:16 ----------------------------------------------------------------
10-
11 | println(Foo.Bar3) // error
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
1113
| ^^^^^^^^
1214
| value Bar3 cannot be accessed as a member of Foo.type from object Main.
13-
| Protected value Bar3 can only be accessed from object Foo.
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: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,20 @@
11
object Foo:
2-
private val Bar1: Int = 3
3-
private[Foo] val Bar2: Int = 3
2+
private val Bar1: Int = 1
3+
private[Foo] val Bar2: Int = 2
44
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
59
end Foo
610

711
object Main:
812
def main(args: Array[String]): Unit =
913
println(Foo.Bar1) // error
1014
println(Foo.Bar2) // error
1115
println(Foo.Bar3) // error
16+
println(Foo.Bar4) // error
17+
println(Foo.Baz.Bar5) // error
18+
println(Foo.Baz.Bar6) // error
1219
end main
1320
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

‎tests/neg/i18686c.check‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
-- [E173] Reference Error: tests/neg/i18686c.scala:8:6 -----------------------------------------------------------------
2+
8 | foo.foo // error
3+
| ^^^^^^^
4+
|method foo cannot be accessed as a member of (foo² : Bar.Foo) from the top-level definitions in package <empty>.
5+
| protected[Bar] method foo can only be accessed from object Bar, or class Foo in object Bar or one of its subclasses.
6+
|
7+
|where: foo is a method in class Foo
8+
| foo² is a parameter in method test

0 commit comments

Comments
 (0)