https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65223
--- Comment #2 from John <jwmwalrus at gmail dot com> --- Changing the ELEMENTAL attribute to PURE produces the same error. If that's the intended behavior, then that's the same as saying type-bound procedures cannot be pure. The thread mentioned by Dominique d'Humieres seems to only apply to "unlimited polymorphic", which is not part of the test case I posted.
