[flang-commits] [flang] [flang] Enforce F'2023 C15121 (PR #94418)

[via flang-commits]

https://github.com/jeanPerier commented:

> Jean, this check may allow you to simplify HLFIR, which appears from the tests to support functions that violate this constraint.

Thanks Peter, looking at the constraints, I do not think it would help simplifying the lowering @clementval just did, but it should make the assumption that one can evaluate the specification for the first element to allocate result storage for all iteration safer, which is great. 

https://github.com/llvm/llvm-project/pull/94418