[Bug ada/117956] assertion failure on 'Old in post-condition with -gnat2022

[simon at pushface dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117956

--- Comment #4 from simon at pushface dot org ---
(In reply to simon from comment #1)
> It’s the -gnatX.

It seems to be the combination of -gnata with either -gnat2022 or -gnatX -- and
this package doesn’t need either!