2 ! { dg-options "-std=f2003" }
5 ! Definability check for select type to expression.
6 ! This is "bonus feature #2" from comment #3 of the PR.
8 ! Contributed by Janus Weil, janus@gcc.gnu.org.
16 type, extends(t1) :: t2
22 select type ( y => fun(1) )
24 y%i = 1 ! { dg-error "variable definition context" }
26 y%i = 2 ! { dg-error "variable definition context" }
32 class(t1),pointer :: fun