Non-evaluable controlling conditions around when-equations

[henrikt-ma]

In https://specification.modelica.org/master/equations.html#restrictions-on-where-a-when-equation-may-occur, I believe it was an omission to not require exclusively evaluable conditions:

• when-equations can only occur within if-equations and for-equations if the controlling expressions are exclusively parameter expressions.

Correct?

(This is something I found while reviewing #3798.)

[HansOlsson]

Yes, also noted in #3695 (comment)