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