[Bug ada/18453] Legal instantiation rejected; illegal instantiation accepted

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=18453

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Still fails on mainline.