RequirementMachine: Add -debug-generic-signatures output to test/Generics/sr12531.swift

slavapestov · slavapestov · commit 6bcc526b05b3 · 2022-02-16T16:28:08.000-05:00
diff --git a/test/Generics/sr12531.swift b/test/Generics/sr12531.swift
@@ -1,4 +1,4 @@
-// RUN: %target-typecheck-verify-swift
+// RUN: %target-typecheck-verify-swift -requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify
 
 protocol AnyPropertyProtocol {
     associatedtype Root = Any
@@ -8,15 +8,21 @@ protocol AnyPropertyProtocol {
     var value: Value { get }
 }
 
+// CHECK-LABEL: .PartialPropertyProtocol@
+// CHECK-NEXT: Requirement signature: <Self where Self : AnyPropertyProtocol, Self.[AnyPropertyProtocol]KP : PartialKeyPath<Self.[AnyPropertyProtocol]Root>
 protocol PartialPropertyProtocol: AnyPropertyProtocol
 where KP: PartialKeyPath<Root> {
 }
 
+// CHECK-LABEL: .PropertyProtocol@
+// CHECK-NEXT: Requirement signature: <Self where Self : PartialPropertyProtocol, Self.[AnyPropertyProtocol]KP : WritableKeyPath<Self.[AnyPropertyProtocol]Root, Self.[AnyPropertyProtocol]Value>
 protocol PropertyProtocol: PartialPropertyProtocol
 where KP: WritableKeyPath<Root, Value> {
 }
 
 extension Dictionary where Value: AnyPropertyProtocol {
+    // CHECK-LABEL: .subscript@
+    // CHECK-NEXT: Generic signature: <R, V, P where P : PropertyProtocol, P.[AnyPropertyProtocol]Root == R, P.[AnyPropertyProtocol]Value == V>
     subscript<R, V, P>(key: Key, path: WritableKeyPath<R, V>) -> P? where P: PropertyProtocol, P.Root == R, P.Value == V {
         return self[key] as? P
     }

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: %target-typecheck-verify-swift`
	`1`	`+// RUN: %target-typecheck-verify-swift -requirement-machine-protocol-signatures=verify -requirement-machine-inferred-signatures=verify`
`2`	`2`
`3`	`3`	`protocol AnyPropertyProtocol {`
`4`	`4`	`associatedtype Root = Any`
`@@ -8,15 +8,21 @@ protocol AnyPropertyProtocol {`
`8`	`8`	`var value: Value { get }`
`9`	`9`	`}`
`10`	`10`
	`11`	`+// CHECK-LABEL: .PartialPropertyProtocol@`
	`12`	`+// CHECK-NEXT: Requirement signature: <Self where Self : AnyPropertyProtocol, Self.[AnyPropertyProtocol]KP : PartialKeyPath<Self.[AnyPropertyProtocol]Root>`
`11`	`13`	`protocol PartialPropertyProtocol: AnyPropertyProtocol`
`12`	`14`	`where KP: PartialKeyPath<Root> {`
`13`	`15`	`}`
`14`	`16`
	`17`	`+// CHECK-LABEL: .PropertyProtocol@`
	`18`	`+// CHECK-NEXT: Requirement signature: <Self where Self : PartialPropertyProtocol, Self.[AnyPropertyProtocol]KP : WritableKeyPath<Self.[AnyPropertyProtocol]Root, Self.[AnyPropertyProtocol]Value>`
`15`	`19`	`protocol PropertyProtocol: PartialPropertyProtocol`
`16`	`20`	`where KP: WritableKeyPath<Root, Value> {`
`17`	`21`	`}`
`18`	`22`
`19`	`23`	`extension Dictionary where Value: AnyPropertyProtocol {`
	`24`	`+ // CHECK-LABEL: .subscript@`
	`25`	`+ // CHECK-NEXT: Generic signature: <R, V, P where P : PropertyProtocol, P.[AnyPropertyProtocol]Root == R, P.[AnyPropertyProtocol]Value == V>`
`20`	`26`	`subscript<R, V, P>(key: Key, path: WritableKeyPath<R, V>) -> P? where P: PropertyProtocol, P.Root == R, P.Value == V {`
`21`	`27`	`return self[key] as? P`
`22`	`28`	`}`