! 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