http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59411
--- Comment #5 from janus at gcc dot gnu.org --- (In reply to mrestelli from comment #4) > type(t), parameter :: pp = suitable_initialization_expr_for_type_t > type(t), parameter :: p2 = pp > > I would assume that, provided the first assignment is correct, the > second one is always correct, whatever the definition of type(t). Am I > right? I would think so. It is important, though, that pp is a PARAMETER.