[flang-commits] [flang] [flang] Error out when assumed rank variable is used as dummy argument (PR #74286)

[Peter Klausler via flang-commits]

https://github.com/klausler requested changes to this pull request.

The title of this patch refers to dummy arguments, but the code itself seems to be testing the selector of a `SELECT TYPE` construct to implement a check to ensure that the selector is not assumed-rank. Where in the standard are assumed rank objects precluded from being used in `SELECT TYPE`?

(Also, `evaluate::IsAssumedRank()` would be a better implementation of the test, if it were needed.  But I need to understand what constraint or requirement in the standard is being enforced here first.)

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