Hamish Knight d6037049b1 [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

2025-07-03 16:24:31 +01:00

187 KiB

Raw Permalink Blame History

View Raw