mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
8e420496b2
`openUnboundGenericType` eagerly tries to add conditional requirements associated with chain of parents of the given type if type has been declared inside of constrained extension. But one of the parent types might be unbound e.g. `A.B` which means it has to be opened, which by itself, would add such requirements. Resolves: rdar://problem/49371608
12 lines
179 B
Swift
12 lines
179 B
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
struct A<T> {
|
|
let foo: [T]
|
|
}
|
|
|
|
extension A : Codable where T: Codable {
|
|
enum CodingKeys: String, CodingKey {
|
|
case foo = "foo"
|
|
}
|
|
}
|