gcc/testsuite/gfortran.dg/pr95708.f90 - gcc - Git at Google

 ! { dg-do compile }
 !

 program test
   procedure(team_num) :: g ! { dg-error "must be explicit" }
 end program
	! { dg-do compile }
	!

	program test
	procedure(team_num) :: g ! { dg-error "must be explicit" }
	end program