swift

7e537b7f - [CS] Ensure type variables are eliminated by `Solution::simplifyType`

[CS] Ensure type variables are eliminated by `Solution::simplifyType` `TypeSimplifier` may not eliminate type variables from e.g the pattern types of pattern expansion types since they can remain unresolved due to e.g having a placeholder count type. Make sure we eliminate any remaining type variables along with the placeholders. There's probably a more principled fix here, but this is a quick and low risk fix we can hopefully take for 6.2. rdar://154954995