Reproducer: https://godbolt.org/z/odGoe5Evq ```f90 type t end type type(t), pointer :: a1, a2 !$omp atomic write a1 = a2 end ``` The expected behavior is that the code either compiles successfully or produces an appropriate and informative diagnostic.