mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
d6037049b1
`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
5 lines
217 B
Swift
5 lines
217 B
Swift
// {"kind":"typecheck","signature":"swift::constraints::Solution::simplifyType(swift::Type, bool) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
for (a(b, d)) in [(repeat .c)].enumerated(<#expression#>) {
|
|
}
|