An allocatable variable should not be permitted in a specification expression

[CarolineConcatto]

This tests compiles fine with Flang:

Program test
  Implicit None
    Integer,Allocatable :: fail(:)
    Integer y(Size(fail))
End Program

But fail is not permitted in a specification expression.