C629 says that if an <allocate-object> has a deferred type parameter, either <type-spec> or <source-expr> shall appear. Is that really necessary if the type parameter has a default value?