Next: Aspect Unreferenced_Objects, Previous: Aspect Unmodified, Up: Implementation Defined Aspects [Contents][Index]
This boolean aspect is equivalent to pragma Unreferenced.
When using the -gnat2020 switch, this aspect is also supported on formal
parameters, which is in particular the only form possible for expression
functions.