! RUN: %flang_fc1 -fsyntax-only -pedantic %s 2>&1 | FileCheck %s
module m
type t
contains
!CHECK: portability: type-bound procedure statement should have '::' if it has '=>'
procedure p => sub
end type
contains
subroutine sub(x)
class(t), intent(in) :: x
end subroutine
end module