Allowing pattern bindings in `for` loop `where` clauses

I had a slightly different pitch some time ago where I wanted a single where clause to combine multiple cases. Now the example from @ole makes me thinking if it would also make some sense in a for loop, although they already can have where causes at the end.

Here is the idea I mentioned before:

Could be nonsense though. :thinking:

1 Like