The goal of this feature is to restore a common understanding of accessibility rules for implementers and users alike. The new rules should both be effective at preventing errors and feel natural and compatible in an Ada environment while removing dynamic accessibility checking.
Here is a link to the full RFC:
‘https://github.com/AdaCore/ada-spark-rfcs/blob/master/prototyped/rfc-simpler-accessibility.md
’