https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124310
--- Comment #4 from Liam Powell <liam at liampwll dot com> --- So I did some digging through the source, it looks like AI95-00402 and AI95-00416 were simply never fully never implemented. Refer to commit g:9b0986f8589f13684a6899875f8c73f42aab775a and search for "Needs completion with rules from AI-416". That comment is still there to this day, although it has moved to accessibility.adb. Fair warning: AI95-00416 is a big one and I have no idea how much is not implemented.
