(j3.2006) Did we intend for it to be impossible for an elemental function to have a polymorphic result?

[Van Snyder]

Did we intend for it to be impossible for an elemental function to have
a polymorphic result?

The result can only be polymorphic if it has the ALLOCATABLE or POINTER
attribute, which is prohibited by C12102 in 15-007r2.

It would be more useful if C12102 were replaced by a requirement (which
cannot be a constraint) that the dynamic type of every element of the
result be the same.