Flang admits instantiation of abstract derived types

[difference-scheme]

trafficstars

My understanding of the Fortran standard is that the following code sample is invalid, and should thus be rejected by standard-conforming compilers. It isn't by flang.

program test

   type, abstract :: basic      
   end type basic

   type(basic) :: obj
   
end program test