1! { dg-do compile }
2!
3! PR 50547: dummy procedure argument of PURE shall be PURE
4!
5! Contributed by Vittorio Zecca <zeccav@gmail.com>
6
7pure function f(proc)
8 interface
9 function proc() ! { dg-error "must also be PURE" }
10 end
11 end interface
12end
13