https://gcc.gnu.org/bugzilla/show_bug.cgi?id=35984
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |13.0 Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Fixed in GCC 13 and later: pak1.ads:5:26: warning: null value not allowed here [enabled by default] pak1.ads:5:26: warning: Constraint_Error will be raised at run time [enabled by default] pak1.ads:6:14: error: wrong interface conversion ("t1" is not a progenitor of "t2")