Pavel Yaskevich 2aa98ebbf1 [ConstraintSystem] Always propagate inout/variadic flags to type-less closure parameters ...

Instead of infer all of the flags only for anonymous parameters,
let's infer inout/variadic for all type-less parameters - anonymous
and named. This allows to correctly form internal parameter type and
reduce amount of inference in the body (e.g. `BindParam` could be
simplified inline).

2021-08-18 14:53:55 -07:00

468 KiB

Raw Blame History

View Raw