https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113972
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- The testcase is rejected on the mainline because of AI22-0002-1, which is a Binding Interpretation and thus is retroactively applied to Ada 2022: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai22s/ai22-0002-1.txt Changing Empty_Map to a function makes it accepted again and even compiled on the mainline.
