Skip to content

Conversation

@ebotcazou
Copy link
Contributor

The construct is the function call in the return statement of Backward, which is illegal per RM 6.4.1(6.4): In a function call, the accessibility level of the actual object for each explicitly aliased parameter shall not be statically deeper than the accessibility level of the master of the call.

The fix would be to make the Self parameter explicitly aliased, but it's a bit painful since the function is overriding. And it's legal in Ada 2022.

The construct is the function call in the return statement of Backward,
which is illegal per RM 6.4.1(6.4): In a function call, the accessibility
level of the actual object for each explicitly aliased parameter shall not
be statically deeper than the accessibility level of the master of the call.

The fix would be to make the Self parameter explicitly aliased, but it's a
bit painful since the function is overriding.  And it's legal in Ada 2022.
@CLAassistant
Copy link

CLAassistant commented Dec 10, 2025

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

@ebotcazou
Copy link
Contributor Author

Obsolete.

@ebotcazou ebotcazou closed this Dec 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants