https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68179
--- Comment #4 from Troy <gcc at gyw dot com> --- You are correct that RM 3.5. 56.3/3 says the same for Default_Value, that it shall only be applied to full_type_declaration. So obviously full_type_declaration here must include derived types, or the whole feature would be useless.
