swift

05c4cee9 - [Constraint solver] Type check captures as part of the constraint system

[Constraint solver] Type check captures as part of the constraint system Rather than type-checking captures as separate declarations during pre-check, generate constraints and apply solutions to captures in the same manner as other pattern bindings within a constraint system. Fixes SR-3186 / rdar://problem/64647232.