https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77391
--- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> C402 (R401) A colon shall not be used as a type-param-value except
> in the declaration of an entity or component that has the POINTER
> or ALLOCATABLE attribute.
>
> There is no "except for a named constant".
(1) As you have noticed this requirement does not make sense for PARAMETER.
(2) IMO this conflicts with
> type parameter whose value is permitted to be assumed, deferred,
^^^^^^^^
