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

hamishknight · hamishknight · commit 05ae4c472999 · 2025-06-16T21:02:30.000+01:00
diff --git a/validation-test/compiler_crashers_2/1b16ff2a2ad5be.swift b/validation-test/compiler_crashers_2/1b16ff2a2ad5be.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseAbstractFunctionBody(swift::AbstractFunctionDecl*, swift::optionset::OptionSet<swift::Parser::ParseDeclFlags, unsigned short>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@abi(func a {
diff --git a/validation-test/compiler_crashers_2/1c4f5ed8bb743453.swift b/validation-test/compiler_crashers_2/1c4f5ed8bb743453.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::Parser::parseNewDeclAttribute(swift::DeclAttributes&, swift::SourceLoc, swift::DeclAttrKind, bool)::$_4::operator()() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  class override b
diff --git a/validation-test/compiler_crashers_2/1f1b9ed16e283e76.swift b/validation-test/compiler_crashers_2/1f1b9ed16e283e76.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::LazyStoragePropertyRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  lazy(b, c) {
diff --git a/validation-test/compiler_crashers_2/1fb63f2dc87bc9b9.swift b/validation-test/compiler_crashers_2/1fb63f2dc87bc9b9.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseDecl(bool, bool, llvm::function_ref<void (swift::Decl*)>, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a { class override ( override
diff --git a/validation-test/compiler_crashers_2/23dbe8bd74c95a.swift b/validation-test/compiler_crashers_2/23dbe8bd74c95a.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a { b }
+@_implements(a, b) typealias c =
diff --git a/validation-test/compiler_crashers_2/259dac55924ef426.swift b/validation-test/compiler_crashers_2/259dac55924ef426.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::GenericContext::getGenericParams() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a = () extension a : Comparable
diff --git a/validation-test/compiler_crashers_2/2617a198505b47e4.swift b/validation-test/compiler_crashers_2/2617a198505b47e4.swift
@@ -0,0 +1,6 @@
+// {"signature":"swift::rewriting::RequirementMachine::getReducedShape(swift::Type, llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a{ b < c > (c, _ : c}
+         protocol d : a{
+  b<c : e>(c, c.c) protocol e {
+    associatedtype c struct f : d
diff --git a/validation-test/compiler_crashers_2/2b51707df3736f.swift b/validation-test/compiler_crashers_2/2b51707df3736f.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::ConstraintSystem::recordMatchCallArgumentResult(swift::constraints::ConstraintLocator*, swift::constraints::MatchCallArgumentResult)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+if
+case.a(a.b) = {
diff --git a/validation-test/compiler_crashers_2/4b5eac547c7b87.swift b/validation-test/compiler_crashers_2/4b5eac547c7b87.swift
@@ -0,0 +1,4 @@
+// {"signature":"checkDistributedTargetResultType(swift::ValueDecl*, swift::Type, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed protocol a:DistributedActor{distributed actor:
diff --git a/validation-test/compiler_crashers_2/4c84d3d852cdd1d4.swift b/validation-test/compiler_crashers_2/4c84d3d852cdd1d4.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+var sixDoubles
+    : Double "six has the value [\( ( sixDoubles \[]) }0 \0\0 \0 \sixDoubles)"
diff --git a/validation-test/compiler_crashers_2/52afb182b33879f5.swift b/validation-test/compiler_crashers_2/52afb182b33879f5.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeBase::getSuperclassForDecl(swift::ClassDecl const*, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a {
+  typealias b = c class e : a protocol d : e, d.b
diff --git a/validation-test/compiler_crashers_2/56edea24a97933f.swift b/validation-test/compiler_crashers_2/56edea24a97933f.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::isRepresentableInObjC(swift::VarDecl const*, swift::ObjCReason)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a class b open extension b {
+  @objc c : a
diff --git a/validation-test/compiler_crashers_2/5716fcca10bf3ff7.swift b/validation-test/compiler_crashers_2/5716fcca10bf3ff7.swift
@@ -0,0 +1,6 @@
+// {"signature":"createImplicitConstructor(swift::NominalTypeDecl*, ImplicitConstructorKind, swift::ASTContext&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a @propertyWrapper struct b < c {
+  wrappedValue : c
+} @propertyWrapper struct d {
+  var wrappedValue @b var e : a @d var f
diff --git a/validation-test/compiler_crashers_2/57c3871466765f0.swift b/validation-test/compiler_crashers_2/57c3871466765f0.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::ConstraintGraph::computeConnectedComponents(llvm::ArrayRef<swift::TypeVariableType*>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+let i = Array(... a { " ? \(i Array* )" }
+                        , b 1
diff --git a/validation-test/compiler_crashers_2/5ccf43ee108a37e9.swift b/validation-test/compiler_crashers_2/5ccf43ee108a37e9.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::GenericEnvironment::mapTypeIntoContext(swift::Type) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@abi(func a->b) func a < b
diff --git a/validation-test/compiler_crashers_2/64915463735bcf5b.swift b/validation-test/compiler_crashers_2/64915463735bcf5b.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::SimpleRequest<swift::IsStaticRequest, bool (swift::FuncDecl*), (swift::RequestFlags)4>::noteCycleStep(swift::DiagnosticEngine&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed typealias DefaultDistributedActorSystem = LocalTestingDistributedActorSystem distributed actor a{distributed...
diff --git a/validation-test/compiler_crashers_2/6cbf7908427d45f.swift b/validation-test/compiler_crashers_2/6cbf7908427d45f.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::Decl::getLoc(bool) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@_typeEraser(a) protocol b dynamic func c->some b {
+  d
diff --git a/validation-test/compiler_crashers_2/7459efb59886f47d.swift b/validation-test/compiler_crashers_2/7459efb59886f47d.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::DerivedConformance::deriveDistributedActor(swift::ValueDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Distributed typealias DefaultDistributedActorSystem = LocalTestingDistributedActorSystem distributed actor a{c, b
diff --git a/validation-test/compiler_crashers_2/75874d2cf6f384c8.swift b/validation-test/compiler_crashers_2/75874d2cf6f384c8.swift
@@ -0,0 +1,11 @@
+// {"signature":"swift::constraints::ArrayLiteralToDictionaryConversionFailure::diagnoseAsError()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a<b{
+         wrappedValue: b
+       }
+        @propertyWrapper struct c<b{
+         wrappedValue: b
+       }
+           {
+               @c @a var value = if true
+                 let : c<a<Bool>> = _value
diff --git a/validation-test/compiler_crashers_2/7643813f44ce5b.swift b/validation-test/compiler_crashers_2/7643813f44ce5b.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::DeclContext::getSelfInterfaceType() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+distributed func a
diff --git a/validation-test/compiler_crashers_2/771c5a9342d7660.swift b/validation-test/compiler_crashers_2/771c5a9342d7660.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::BoundGenericType::getExpandedGenericArgs()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a func b [{ lazy var c = a(d var e = b
diff --git a/validation-test/compiler_crashers_2/79ac90c35c46dbab.swift b/validation-test/compiler_crashers_2/79ac90c35c46dbab.swift
@@ -0,0 +1,4 @@
+// {"signature":"(anonymous namespace)::TypeJoin::visitExistentialType(swift::CanType)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a protocol b < c { associatedtype c }
+                                 [ b<a>, a & b
diff --git a/validation-test/compiler_crashers_2/7aa9d3699dddb337.swift b/validation-test/compiler_crashers_2/7aa9d3699dddb337.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::PatternTypeRequest::evaluate(swift::Evaluator&, swift::ContextualPattern) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objcMembers class a open extension a {
+  var b
diff --git a/validation-test/compiler_crashers_2/7e19cb4cc0598c1b.swift b/validation-test/compiler_crashers_2/7e19cb4cc0598c1b.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Expr::getArgs() const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<let b: Int?{ int: Int { b
diff --git a/validation-test/compiler_crashers_2/84d2d3eac9e9a0.swift b/validation-test/compiler_crashers_2/84d2d3eac9e9a0.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::emitLoadedModuleTraceIfNeeded(swift::ModuleDecl*, swift::DependencyTracker*, swift::FrontendOptions const&, swift::InputFile const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a {
+  wrappedValue : b var projectedValue init(projectedValue c) {
+    func d(@a Int) d
diff --git a/validation-test/compiler_crashers_2/8a6431938ab864b3.swift b/validation-test/compiler_crashers_2/8a6431938ab864b3.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::rewriting::RequirementMachine::checkCompletionResult(swift::rewriting::CompletionResult) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a : b protocol b{associatedtype c} protocol d : e,
+                                                         f protocol e
+    : g where c : e protocol g : b protocol f : a where c : f
diff --git a/validation-test/compiler_crashers_2/8a6584ca91fedd9.swift b/validation-test/compiler_crashers_2/8a6584ca91fedd9.swift
@@ -1,3 +1,3 @@
-// {"signature":"swift::EnumRawValuesRequest::evaluate(swift::Evaluator&, swift::EnumDecl*, swift::TypeResolutionStage) const"}
+// {"signature":"swift::TypeChecker::typesSatisfyConstraint(swift::Type, swift::Type, bool, swift::constraints::ConstraintKind, swift::DeclContext*, bool*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 func a<each b>(c : repeat each b) { repeat !(d c
diff --git a/validation-test/compiler_crashers_2/90773c979d435f7.swift b/validation-test/compiler_crashers_2/90773c979d435f7.swift
@@ -0,0 +1,8 @@
+// {"signature":"swift::isOverrideBasedOnType(swift::ValueDecl const*, swift::Type, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a < b {
+  protocol c { associatedtype d init(e : d
+  }
+  class f {
+    init(e : Int) {
+      class 4 : f, c { init(e : d
diff --git a/validation-test/compiler_crashers_2/933fe28af784ae94.swift b/validation-test/compiler_crashers_2/933fe28af784ae94.swift
@@ -0,0 +1,4 @@
+// {"signature":"(anonymous namespace)::ASTScopeDeclConsumerForUnqualifiedLookup::consume(llvm::ArrayRef<swift::ValueDecl*>, swift::NullablePtr<swift::DeclContext>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @abi(func a) var b : c
diff --git a/validation-test/compiler_crashers_2/93eaba9fd0e76cdf.swift b/validation-test/compiler_crashers_2/93eaba9fd0e76cdf.swift
@@ -0,0 +1,3 @@
+// {"signature":"diagnoseDictionaryLiteralDuplicateKeyEntries(swift::Expr const*, swift::DeclContext const*)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[ 1.01: "" 1.01: ""
diff --git a/validation-test/compiler_crashers_2/975116cdaa9f417.swift b/validation-test/compiler_crashers_2/975116cdaa9f417.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::ExprPattern::updateMatchExpr(swift::Expr*) const::FindMatchOperatorDeclRef::walkToExprPre(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func ~= (a) if case ~= b
diff --git a/validation-test/compiler_crashers_2/983a37d76b4923e.swift b/validation-test/compiler_crashers_2/983a37d76b4923e.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::TypeBase::getNominalParent()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  typealias b<c> = () extension b
diff --git a/validation-test/compiler_crashers_2/98887170a0bfefc0.swift b/validation-test/compiler_crashers_2/98887170a0bfefc0.swift
@@ -0,0 +1,4 @@
+// {"signature":"$s11swiftASTGen24evaluatePoundIfCondition10astContext13diagEnginePtr16sourceFileBuffer02ifF4Text14shouldEvaluateSiSo17BridgedASTContextV_SvSo0S9StringRefVAKSbtF"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: swift_swift_parser
+#if canImport(#available
diff --git a/validation-test/compiler_crashers_2/9967f3fc56f84a1e.swift b/validation-test/compiler_crashers_2/9967f3fc56f84a1e.swift
@@ -0,0 +1,3 @@
+// {"signature":"formatDiagnosticArgument(llvm::StringRef, llvm::StringRef, llvm::ArrayRef<swift::DiagnosticArgument>, unsigned int, swift::DiagnosticFormatOptions, llvm::raw_ostream&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a func b(@a Int) b($c:d
diff --git a/validation-test/compiler_crashers_2/9adf18151655a6ae.swift b/validation-test/compiler_crashers_2/9adf18151655a6ae.swift
@@ -0,0 +1,3 @@
+// {"signature":"isVanishingTupleConformance(swift::NormalProtocolConformance*, swift::SubstitutionMap)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a<b> = (repeat b)protocol c extension a : c
diff --git a/validation-test/compiler_crashers_2/a0b4d94ad0e977d0.swift b/validation-test/compiler_crashers_2/a0b4d94ad0e977d0.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::findSyntacticErrorForConsume(swift::ModuleDecl*, swift::SourceLoc, swift::Expr*, llvm::function_ref<swift::Type (swift::Expr*)>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(consume : String) {
+  consume consume consume
diff --git a/validation-test/compiler_crashers_2/a1776e4598146d49.swift b/validation-test/compiler_crashers_2/a1776e4598146d49.swift
@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::ResolvePattern::visitCallExpr(swift::CallExpr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum a { b : _const a
diff --git a/validation-test/compiler_crashers_2/a81ff5cc2d29ef15.swift b/validation-test/compiler_crashers_2/a81ff5cc2d29ef15.swift
@@ -0,0 +1,5 @@
+// {"signature":"void swift::Diagnostic::gatherArgs<swift::Identifier, bool, swift::TypeRepr*>(swift::Identifier, bool, swift::TypeRepr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+@objcMembers class a open extension a {
+  ...
diff --git a/validation-test/compiler_crashers_2/a9f541ae5c40ef35.swift b/validation-test/compiler_crashers_2/a9f541ae5c40ef35.swift
@@ -0,0 +1,3 @@
+// {"signature":"(anonymous namespace)::ABIDependencyEvaluator::computeABIDependenciesForModule(swift::ModuleDecl*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a { init? { init!
diff --git a/validation-test/compiler_crashers_2/ab146c5c26ca113.swift b/validation-test/compiler_crashers_2/ab146c5c26ca113.swift
@@ -0,0 +1,3 @@
+// {"signature":"getIsolationFromAttributes(swift::Decl const*, bool, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+isolated let a
diff --git a/validation-test/compiler_crashers_2/b44bf5a5a8274.swift b/validation-test/compiler_crashers_2/b44bf5a5a8274.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ContextualFailure::getDiagnosticFor(swift::ContextualTypePurpose, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{ struct a func b< c >->c->() var : (inout a)->() = b(
diff --git a/validation-test/compiler_crashers_2/b7d484d056661ff.swift b/validation-test/compiler_crashers_2/b7d484d056661ff.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::PackExpansionType::PackExpansionType(swift::Type, swift::Type, swift::RecursiveTypeProperties, swift::ASTContext const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[Int : Int](Int) { a, b in a[b b= b * b
diff --git a/validation-test/compiler_crashers_2/b8a659988983457.swift b/validation-test/compiler_crashers_2/b8a659988983457.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseStorageRestrictionsAttribute(swift::SourceLoc, swift::SourceLoc)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@storageRestrictions(
diff --git a/validation-test/compiler_crashers_2/b93e9e54c72f13c9.swift b/validation-test/compiler_crashers_2/b93e9e54c72f13c9.swift
@@ -0,0 +1,6 @@
+// {"signature":"swift::rewriting::RewriteSystem::processTypeDifference(swift::rewriting::TypeDifference const&, unsigned int, unsigned int, swift::rewriting::RewritePath const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a < b class c<b, h> : a<(b, h)> protocol d {
+  associatedtype b : c<e, f> associatedtype e associatedtype f associatedtype b
+      : a<g>
+            associatedtype g where g == e
diff --git a/validation-test/compiler_crashers_2/b98d91945bd93d30.swift b/validation-test/compiler_crashers_2/b98d91945bd93d30.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::adjustFunctionTypeForConcurrency(swift::AnyFunctionType*, swift::ValueDecl*, swift::DeclContext*, unsigned int, bool, llvm::function_ref<swift::Type (swift::AbstractClosureExpr const*)>, llvm::function_ref<bool (swift::ClosureExpr const*)>, llvm::function_ref<swift::Type (swift::Type)>)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+actor a func b(isolated a...) b
diff --git a/validation-test/compiler_crashers_2/bafa48a4eecbfb62.swift b/validation-test/compiler_crashers_2/bafa48a4eecbfb62.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::InFlightDiagnostic swift::DiagnosticEngine::diagnose<unsigned int, unsigned int, bool>(swift::SourceLoc, swift::Diag<unsigned int, unsigned int, bool>, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<unsigned int>::type, swift::detail::PassArgument<bool>::type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class b open extension b {
+  @objc c : a
diff --git a/validation-test/compiler_crashers_2/c25aed95f6f6d937.swift b/validation-test/compiler_crashers_2/c25aed95f6f6d937.swift
@@ -1,4 +1,4 @@
-// {"signature":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast, file Casting.h, line 662."}
+// {"signature":"swift::TypeDecl::getName() const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 {
   extension {
diff --git a/validation-test/compiler_crashers_2/c3a89a7cea373695.swift b/validation-test/compiler_crashers_2/c3a89a7cea373695.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::doesMemberRefApplyCurriedSelf(swift::Type, swift::ValueDecl const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+Swift < .Int
diff --git a/validation-test/compiler_crashers_2/c3d13662d24dc5b4.swift b/validation-test/compiler_crashers_2/c3d13662d24dc5b4.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::diagnoseConstantArgumentRequirement(swift::Expr const*, swift::DeclContext const*)::ConstantReqCallWalker::walkToExprPre(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @_semantics("oslog.requires_constant_arguments") func a(b) { a(
diff --git a/validation-test/compiler_crashers_2/cb8022311165d5ef.swift b/validation-test/compiler_crashers_2/cb8022311165d5ef.swift
@@ -0,0 +1,3 @@
+// {"signature":"getDirectWriteAccessStrategy(swift::AbstractStorageDecl const*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(@_nonEphemeral UnsafeRawPointer) var arr { b a(&arr
diff --git a/validation-test/compiler_crashers_2/cccd6394993ea4a2.swift b/validation-test/compiler_crashers_2/cccd6394993ea4a2.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::ErrorType::get(swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@convention(c) _->Int
diff --git a/validation-test/compiler_crashers_2/d2b0fe8a9614624.swift b/validation-test/compiler_crashers_2/d2b0fe8a9614624.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::rewriting::RequirementMachine::buildRequirementsFromRules(llvm::ArrayRef<unsigned int>, llvm::ArrayRef<unsigned int>, llvm::ArrayRef<swift::GenericTypeParamType*>, bool, std::__1::vector<swift::Requirement, std::__1::allocator<swift::Requirement>>&, std::__1::vector<swift::ProtocolTypeAlias, std::__1::allocator<swift::ProtocolTypeAlias>>&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a class b class c protocol d {
+  associatedtype e where e : a, e : c, e : b
diff --git a/validation-test/compiler_crashers_2/d3bddfff4812face.swift b/validation-test/compiler_crashers_2/d3bddfff4812face.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::SubscriptMisuseFailure::diagnoseAsError()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+"" [.subscript
diff --git a/validation-test/compiler_crashers_2/d48def542970cfa.swift b/validation-test/compiler_crashers_2/d48def542970cfa.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::rewriting::performConcreteContraction(llvm::ArrayRef<swift::StructuralRequirement>, llvm::SmallVectorImpl<swift::StructuralRequirement>&, llvm::SmallVectorImpl<swift::rewriting::RequirementError>&, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a < each b, each c where(repeat(each c each b)) : {
+  typealias d<each b> = () func e where d<repeat each b> ==
diff --git a/validation-test/compiler_crashers_2/e2b164a3c37951d.swift b/validation-test/compiler_crashers_2/e2b164a3c37951d.swift
@@ -0,0 +1,4 @@
+// {"signature":"void llvm::function_ref<void (swift::Type)>::callback_fn<(anonymous namespace)::typeEraseOpenedArchetypes(swift::Type)::$_0>(long, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+var a : String { get throws(b{
+  a
diff --git a/validation-test/compiler_crashers_2/e4b446ca551533.swift b/validation-test/compiler_crashers_2/e4b446ca551533.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::constraints::ConstraintSystem::setType(swift::ASTNode, swift::Type)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a let() = {(@a)in
diff --git a/validation-test/compiler_crashers_2/e69d4d956514d9ef.swift b/validation-test/compiler_crashers_2/e69d4d956514d9ef.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::ast_scope::NodeAdder::visitBraceStmt(swift::BraceStmt*, swift::ast_scope::ASTScopeImpl*, swift::ast_scope::ScopeCreator&)::'lambda'(swift::ValueDecl*)::operator()(swift::ValueDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @abi(var a) subscript->
diff --git a/validation-test/compiler_crashers_2/e92dacb419dec8e.swift b/validation-test/compiler_crashers_2/e92dacb419dec8e.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::GenericTypeParamType::GenericTypeParamType(swift::GenericTypeParamDecl*, swift::RecursiveTypeProperties)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a = () extension a {
+  typealias b<c> = () extension b
diff --git a/validation-test/compiler_crashers_2/ee1b0cddb8c5936.swift b/validation-test/compiler_crashers_2/ee1b0cddb8c5936.swift
@@ -0,0 +1,8 @@
+// {"signature":"(anonymous namespace)::AssociatedTypeInference::inferTypeWitnessesViaValueWitnesses(llvm::SetVector<swift::AssociatedTypeDecl*, llvm::SmallVector<swift::AssociatedTypeDecl*, 0u>, llvm::DenseSet<swift::AssociatedTypeDecl*, llvm::DenseMapInfo<swift::AssociatedTypeDecl*, void>>, 0u> const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a{associatedtype b} protocol c : RandomAccessCollection struct d < e
+    : a,
+    f {
+  g {
+    struct h : c {
+      typealias i = e.b subscript(i) f
diff --git a/validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift b/validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift
@@ -1,4 +1,4 @@
-// {"signature":"swift::QueryInterfaceTypeSubstitutions::operator()(swift::SubstitutableType*) const"}
+// {"signature":"(anonymous namespace)::TypeSubstituter::transformGenericTypeParamType(swift::GenericTypeParamType*, swift::TypePosition)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 extension Collection where Self : a {
   struct Index protocol a
diff --git a/validation-test/compiler_crashers_2/f676bef08c1061da.swift b/validation-test/compiler_crashers_2/f676bef08c1061da.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::rewriting::PropertyBag::getAssociatedType(swift::Identifier)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol b : a{typealias a} protocol a : b {
+  typealias a
diff --git a/validation-test/compiler_crashers_2/fda9a61a6187b061.swift b/validation-test/compiler_crashers_2/fda9a61a6187b061.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::rewriting::RewriteSystem::decomposeTermIntoConformanceRuleLeftHandSides(swift::rewriting::MutableTerm, llvm::SmallVectorImpl<unsigned int>&) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a{associatedtype b : c} protocol c { associatedtype d }
+struct e : a struct f < g : a, h : c where g.b.d == Int extension f where g == e
diff --git a/validation-test/compiler_crashers_2/ff105cea796d442f.swift b/validation-test/compiler_crashers_2/ff105cea796d442f.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::InFlightDiagnostic swift::diagnoseAttrWithRemovalFixIt<swift::Diag<>&>(swift::Decl const*, swift::DeclAttribute const*, swift::Diag<>&)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: objc_interop
+class a open extension a {
+  @objc class b
diff --git a/validation-test/compiler_crashers_2/ff396e9dd5fce33e.swift b/validation-test/compiler_crashers_2/ff396e9dd5fce33e.swift
@@ -0,0 +1,3 @@
+// {"signature":"tokIsStringInterpolationEOF(swift::Token&, swift::tok)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@attached(conformances: ,
diff --git a/validation-test/compiler_crashers_2/issue-80657.swift b/validation-test/compiler_crashers_2/issue-80657.swift
@@ -1,3 +1,4 @@
+// {"signature":"(anonymous namespace)::Verifier::verifyChecked(swift::VarDecl*)"}
 // RUN: not --crash %target-swift-frontend -emit-sil %s
 
 // https://github.com/swiftlang/swift/issues/80657
diff --git a/validation-test/compiler_crashers_2_fixed/eefe61949e1f5cfd.swift b/validation-test/compiler_crashers_2_fixed/eefe61949e1f5cfd.swift
@@ -0,0 +1,5 @@
+// {"signature":"$s11swiftASTGen15parseSourceFile6buffer10moduleName8filename14declContextPtr4kindSVSo16BridgedStringRefV_A2ISvSgSo0n9GenerateddE4KindVtF"}
+// RUN: not %target-swift-frontend -typecheck %s
+// REQUIRES: swift_swift_parser
+{
+a: (a $

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"signature":"swift::Parser::parseAbstractFunctionBody(swift::AbstractFunctionDecl*, swift::optionset::OptionSet<swift::Parser::ParseDeclFlags, unsigned short>)"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+@abi(func a {`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"signature":"swift::Parser::parseDecl(bool, bool, llvm::function_ref<void (swift::Decl*)>, bool)"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+class a { class override ( override`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"signature":"swift::GenericContext::getGenericParams() const"}`
	`2`	`+// RUN: not --crash %target-swift-frontend -typecheck %s`
	`3`	`+typealias a = () extension a : Comparable`