swift
65cfef65 - [CSSimplify] Account for the fact that variadic generic parameters could be specialized

Commit
2 years ago
[CSSimplify] Account for the fact that variadic generic parameters could be specialized If generic parameter comes from a variadic type declaration it's possible that it got specialized early and is no longer represented by a pack expansion type. For example, consider expression - `Test<Int>(42)` where `Test<each T>` and the initializer is declared as `init(_: repeat each T)`. Although declaration based information reports parameter at index 0 as variadic generic the call site specializes it to `Int`. Resolves: rdar://107151854
Author
Committer
Parents
Loading