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
13 lines
363 B
Swift
13 lines
363 B
Swift
// {"signature":"(anonymous namespace)::SetExprTypes::walkToExprPost(swift::Expr*)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
typealias a<b, c> = c
|
|
struct d < each b {
|
|
typealias e< c > =
|
|
(repeat a< each b, c >)
|
|
typealias f< each c > = (repeat e< each c >
|
|
func 1 {
|
|
typealias g = h
|
|
(g<
|
|
i >
|
|
typealias g< each c > = f< repeat each c >
|