https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114593
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:3288028d0db7ef2152dc62056516d35722fb6590 commit r13-9105-g3288028d0db7ef2152dc62056516d35722fb6590 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.