Using compiler 15, update 3, I would expect the following simple code should generate a compiler error with the use of an associate-name x without select-type construct; note x is associated with an unlimited polymorphic pointer. Instead, no compiler errors and warnings are generated. At run-time, no exception occurs but nothing is printed for x for the statement on line 10.
program p
implicit none
class(*), pointer :: ptr
allocate( ptr, source=1 )
asc: associate ( x => ptr )
print *, " x = ", x
end associate asc
deallocate(ptr)
stop
end program p