https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114593
--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-12 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:fb61a7a203c5de3552e11bd633bc351463e51594 commit r12-10764-gfb61a7a203c5de3552e11bd633bc351463e51594 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/ PR ada/114593 * sem_res.adb (Valid_Conversion): Test In_Instance instead of In_Instance_Body.