https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114593
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:aff061f0f51e2547b04c8d24c3b0dc713a6d62a3 commit r14-10784-gaff061f0f51e2547b04c8d24c3b0dc713a6d62a3 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.