NCGenerics: restrict conditional Copyable reqs

It doesn't really make sense for a conditional conformance requirement
for `Copyable` to depend on any other requirement other than other
`Copyable` conformance requirements.

resolves rdar://124967739
This commit is contained in:
Kavon Farvardin
2024-04-03 15:31:16 -07:00
parent 3bc570fd93
commit 215c4e1c25
7 changed files with 92 additions and 6 deletions

View File

@@ -98,7 +98,7 @@ extension Outer: Copyable {}
extension Outer.InnerStruct: Copyable {}
extension Outer.InnerVariation1: Copyable {}
extension Outer.InnerVariation2: Escapable {}
extension Outer.InnerVariation2: Escapable where A: ~Copyable {}
extension Outer.InnerStruct {
public func hello<T: ~Escapable>(_ t: T) {}