3.54 Aspect Unreferenced

This boolean aspect is equivalent to pragma Unreferenced. Note that in the case of formal parameters, it is not permitted to have aspects for a formal parameter, so in this case the pragma form must be used.