Disable test/Generics/concrete_conformances_in_protocol.swift

slavapestov · slavapestov · commit 4b7b24c53062 · 2022-02-04T19:10:59.000-05:00
This was only passing before because -requirement-machine-protocol-signatures=verify
only checked conformance requirements, and it would return the GSB's result if there
was a mismatch. It actually never did the right thing with the Requirement Machine.

Disable it until rdar://problem/88135912 is fixed.
diff --git a/test/Generics/concrete_conformances_in_protocol.swift b/test/Generics/concrete_conformances_in_protocol.swift
@@ -1,5 +1,8 @@
 // RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures -requirement-machine-protocol-signatures=verify 2>&1 | %FileCheck %s
 
+// rdar://problem/88135912
+// XFAIL: *
+
 protocol P {
   associatedtype T
 }

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,8 @@`
`1`	`1`	`// RUN: %target-swift-frontend -typecheck %s -debug-generic-signatures -requirement-machine-protocol-signatures=verify 2>&1 \| %FileCheck %s`
`2`	`2`
	`3`	`+// rdar://problem/88135912`
	`4`	`+// XFAIL: *`
	`5`	`+`
`3`	`6`	`protocol P {`
`4`	`7`	`associatedtype T`
`5`	`8`	`}`