1! { dg-do compile }
2!
3! PR 58470: [4.9 Regression] [OOP] ICE on invalid with FINAL procedure and type extension
4!
5! Contributed by Andrew Benson <abensonca@gmail.com>
6
7module cf
8  type  :: cfml
9   contains
10     final :: mld
11  end type cfml
12  type, extends(cfml) :: cfmde
13  end type cfmde
14contains
15  subroutine mld(s)   ! { dg-error "must be of type" }
16    class(cfml), intent(inout) :: s
17  end subroutine mld
18end module cf
19
20! { dg-final { cleanup-modules "cf" } }
21