https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117485
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > In that case I'll take it up with ARG, because it doesn't make sense to stop > public types from using this. You might want to read the AI that discussed it 15 years ago, that's clearly explained in there. You might also want to use Dynamic_Predicate instead.