16546, “vasslitvinov”, “Compiler errors / unimplemented more comple reduce expressions”, “2020-10-02T21:37:52Z”
The next step after #16027 is when the elements of the forall expression being reduced are, themselves, forall expressions. For example:
+ reduce ([i in OuterDom] [j in InnerDom] (10 * MyArray))
where OuterDom and InnerDom can independently be a domain or a range, or even other iterables such as arrays or promoted expressions.