[NCGenerics] extra coverage for interface emission

This commit is contained in:
Kavon Farvardin
2023-12-13 19:45:44 -08:00
parent 4657fa9d48
commit 040e95cd7d
2 changed files with 5 additions and 0 deletions

View File

@@ -66,3 +66,5 @@ public protocol TestAssocTypes {
public typealias SomeAlias<G> = Hello<G>
public typealias AliasWithInverse<G> = Hello<G> where G: ~Copyable, G: ~Escapable
public struct RudePointer<T: ~Copyable>: Copyable {}

View File

@@ -93,6 +93,9 @@ import NoncopyableGenerics_Misc
// CHECK-MISC: #if compiler(>=5.3) && $NoncopyableGenerics
// CHECK-MISC-NEXT: public typealias AliasWithInverse<G> = {{.*}}.Hello<G> where G : ~Copyable, G : ~Escapable
// CHECK-MISC: #if compiler(>=5.3) && $NoncopyableGenerics
// CHECK-MISC-NEXT: public struct RudePointer<T> : Swift.Copyable where T : ~Copyable {
///////////////////////////////////////////////////////////////////////
// Synthesized conditional conformances are next