---

6.50 RM C.5(8): Pragma Discard_Names ¶

“If the pragma applies to an entity, then the implementation should reduce the amount of storage used for storing names associated with that entity.”

Followed.