Skip to content

Improve the test for creating protected method accessors for inlines#25865

Merged
tgodzik merged 1 commit into
scala:mainfrom
dotty-staging:fix-i25542
Apr 20, 2026
Merged

Improve the test for creating protected method accessors for inlines#25865
tgodzik merged 1 commit into
scala:mainfrom
dotty-staging:fix-i25542

Conversation

@jchyb

@jchyb jchyb commented Apr 19, 2026

Copy link
Copy Markdown
Contributor

Fixes #25542
In the regressive commit, I failed to predict that the accessed protected definition in the inline could be owner by another, unrelated instance of the class. The accessors are generated correctly for these cases now.

How much have you relied on LLM-based tools in this contribution?

For figuring out how the self symbols in Idents are recognized in the rest of the compiler.

How was the solution tested?

Added the regression test from the issue. Unsuccessfully tried to figure out another test that would break the added check.

@tgodzik tgodzik merged commit 41f7635 into scala:main Apr 20, 2026
45 checks passed
@tgodzik tgodzik added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Apr 20, 2026
@tgodzik tgodzik added this to the 3.8.4 milestone Apr 20, 2026
WojciechMazur pushed a commit that referenced this pull request Apr 20, 2026
…25865)

Fixes #25542
In the regressive commit, I failed to predict that the accessed
protected definition in the inline could be owner by another, unrelated
instance of the class. The accessors are generated correctly for these
cases now.

## How much have you relied on LLM-based tools in this contribution?

For figuring out how the self symbols in `Idents` are recognized in the
rest of the compiler.


## How was the solution tested?
Added the regression test from the issue. Unsuccessfully tried to figure
out another test that would break the added check.
[Cherry-picked 41f7635]
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Apr 20, 2026
WojciechMazur added a commit that referenced this pull request Apr 20, 2026
…r inlines" to 3.8.4 (#25875)

Backports #25865 to the 3.8.4-RC2.

PR submitted by the release tooling.
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Apr 20, 2026
mbovel pushed a commit to mbovel/dotty that referenced this pull request May 4, 2026
…cala#25865)

Fixes scala#25542
In the regressive commit, I failed to predict that the accessed
protected definition in the inline could be owner by another, unrelated
instance of the class. The accessors are generated correctly for these
cases now.

## How much have you relied on LLM-based tools in this contribution?

For figuring out how the self symbols in `Idents` are recognized in the
rest of the compiler.


## How was the solution tested?
Added the regression test from the issue. Unsuccessfully tried to figure
out another test that would break the added check.
bishabosha pushed a commit to dotty-staging/dotty that referenced this pull request Jun 5, 2026
…cala#25865)

Fixes scala#25542
In the regressive commit, I failed to predict that the accessed
protected definition in the inline could be owner by another, unrelated
instance of the class. The accessors are generated correctly for these
cases now.

## How much have you relied on LLM-based tools in this contribution?

For figuring out how the self symbols in `Idents` are recognized in the
rest of the compiler.


## How was the solution tested?
Added the regression test from the issue. Unsuccessfully tried to figure
out another test that would break the added check.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:done This PR was successfully backported.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Access regression for protected member in inline given companion code

3 participants