Hi Steve,
The attached patch enforces F2008:C631, which of course is/* F2008:C631 (R626) A type-param-value in a type-spec shall be an asterisk if and only if each allocate-object is a dummy argument for which the corresponding type parameter is assumed. */ Regression tested on x86_64-*-freebsd.
Looks good, OK for trunk. Thanks for the patch! Regards Thomas