https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114593
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- https://gcc.gnu.org/g:a846b4cfc7383e7a2550993cbf669b94db838069 commit r15-2667-ga846b4cfc7383e7a2550993cbf669b94db838069 Author: Steve Baird <ba...@adacore.com> Date: Mon Jul 8 14:45:55 2024 -0700 ada: Type conversion in instance incorrectly rejected. In some cases, a legal type conversion in a generic package is correctly accepted but the corresponding type conversion in an instance of the generic is incorrectly rejected. gcc/ada/ * sem_res.adb (Valid_Conversion): Test In_Instance instead of In_Instance_Body.