mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
7e537b7f00
`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
292 B
Swift
5 lines
292 B
Swift
// {"kind":"complete","signature":"swift::constraints::Solution::simplifyType(swift::Type, bool) const"}
|
|
// RUN: %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
|
|
for (a(b, d)) [
|
|
#^COMPLETE^#, 0, (repeat.c)].enumerated(
|