RequirementMachine: Disable verification in a few highly-invalid compiler_crashers where it's not useful

slavapestov · slavapestov · commit 226d2c89a05f · 2022-03-14T12:33:18.000-04:00
diff --git a/validation-test/compiler_crashers_fixed/00228-swift-clangimporter-loadextensions.swift b/validation-test/compiler_crashers_fixed/00228-swift-clangimporter-loadextensions.swift
@@ -5,7 +5,7 @@
 // See https://swift.org/LICENSE.txt for license information
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on
 func s() -> o {
         r q {
 }
diff --git a/validation-test/compiler_crashers_fixed/00237-swift-declrefexpr-setspecialized.swift b/validation-test/compiler_crashers_fixed/00237-swift-declrefexpr-setspecialized.swift
@@ -5,7 +5,7 @@
 // See https://swift.org/LICENSE.txt for license information
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on
 func b(c) -> <d>(() -> d) {
 }
 struct d<f : e, g: e where g.h == f.h> {
diff --git a/validation-test/compiler_crashers_fixed/00365-getselftypeforcontainer.swift b/validation-test/compiler_crashers_fixed/00365-getselftypeforcontainer.swift
@@ -5,7 +5,7 @@
 // See https://swift.org/LICENSE.txt for license information
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on
 class d<j : i, f : i where j.i == f> : e {
 }
 class d<j, f> {
diff --git a/validation-test/compiler_crashers_fixed/01107-std-function-func-swift-type-subst.swift b/validation-test/compiler_crashers_fixed/01107-std-function-func-swift-type-subst.swift
@@ -5,7 +5,7 @@
 // See https://swift.org/LICENSE.txt for license information
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on
 func b<d {
 class d<j : i, f : i where j.i == f> : e {
 }
diff --git a/validation-test/compiler_crashers_fixed/01177-std-function-func-swift-type-subst.swift b/validation-test/compiler_crashers_fixed/01177-std-function-func-swift-type-subst.swift
@@ -5,7 +5,7 @@
 // See https://swift.org/LICENSE.txt for license information
 // See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
 
-// RUN: not %target-swift-frontend %s -typecheck
+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on
 class d<j : i, f : i where j.i == f> : e {
 }
 class d<j, f> {

Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@`
`5`	`5`	`// See https://swift.org/LICENSE.txt for license information`
`6`	`6`	`// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors`
`7`	`7`
`8`		`-// RUN: not %target-swift-frontend %s -typecheck`
	`8`	`+// RUN: not %target-swift-frontend %s -typecheck -requirement-machine-inferred-signatures=on`
`9`	`9`	`func s() -> o {`
`10`	`10`	`r q {`
`11`	`11`	`}`