[test] Add a few more known type-checker crashers

hamishknight · hamishknight · commit c4e88f5f4363 · 2025-06-06T10:57:53.000+01:00
diff --git a/validation-test/compiler_crashers_2/6a33401772c7458.swift b/validation-test/compiler_crashers_2/6a33401772c7458.swift
@@ -0,0 +1,8 @@
+// {"signature":"swift::constraints::GenericArgumentsMismatchFailure::GenericArgumentsMismatchFailure(swift::constraints::Solution const&, swift::Type, swift::Type, llvm::ArrayRef<unsigned int>, swift::constraints::ConstraintLocator*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a < b, c {
+  typealias d = b typealias e =
+      c class f<b, c> : a<b, c> class g<h, i> : f<(h, i), c> {
+    j = d->e class g<h> : f<(h, i), c> {
+      k {
+        j = d->e
diff --git a/validation-test/compiler_crashers_2/7cee1719e3503ef6.swift b/validation-test/compiler_crashers_2/7cee1719e3503ef6.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::GenericParamKey::findIndexIn(llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+a[[[[ a a?[[a a?
diff --git a/validation-test/compiler_crashers_2/fa3981f71bc0d522.swift b/validation-test/compiler_crashers_2/fa3981f71bc0d522.swift
@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{                   Sendable(Sendable<<a
diff --git a/validation-test/compiler_crashers_2_fixed/9f5254267aa3a27c.swift b/validation-test/compiler_crashers_2_fixed/9f5254267aa3a27c.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::Pattern::getType() const"}
+// RUN: not %target-swift-frontend -typecheck %s
+{
+  let $a:

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"signature":"swift::GenericParamKey::findIndexIn(llvm::ArrayRef<swift::GenericTypeParamType*>) const"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+a[[[[ a a?[[a a?`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+{ Sendable(Sendable<<a`
-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +// {"signature":"swift::Pattern::getType() const"}
 +// RUN: not %target-swift-frontend -typecheck %s
 +{
 +  let $a: