Pavel Yaskevich e17df6bcdf [CSGen] Don't try to infer closure types with destructured parameters ...

If one of the parameters represents a destructured tuple
e.g. `{ (x: Int, (y: Int, z: Int)) in ... }` let's fail
inference and not attempt to solve the constraint system because:

a. Destructuring has already been diagnosed by the parser;
b. Body of the closure would have error expressions for
   each incorrect parameter reference and solver wouldn't
   be able to produce any viable solutions.

2020-02-17 16:09:11 -08:00

162 KiB

Raw Blame History

View Raw