! { dg-do compile }
program bar
type a
integer :: i
end type a
type b
type(a),pointer :: j
end type b
integer, target, save :: k = 42
type(b) x
data x%j%i/k/ ! { dg-error "is not rightmost part-ref" }
print *, x%j%i
end program bar