Pavel Yaskevich 22daa865b5 [ConstraintSystem] Make for-in solution application target standalone ...

Previously for-in target was actually an expression target, which means
certain type-checking behavior. These changes make it a standalone target
with custom behavior which would allow solver to introduce implicit
`makeIterator` and `next` calls and move some logic from SILGen.

2022-05-30 23:17:41 -07:00

171 KiB

Raw Blame History

View Raw