---

3.56 Aspect Unreferenced ¶

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.