Pavel Yaskevich e7a9bcb303 [TypeChecker] Type-check where clauses for for-in statements separately ...

Instead of using `one-way` constraints, just like in closure contexts
for-in statements should type-check their `where` clauses separately.

This also unifies and simplifies for-in preamble handling in the
solver.

2024-12-21 00:42:13 -08:00

15 KiB

Raw Permalink Blame History

View Raw