diff --git a/validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift b/validation-test/compiler_crashers_2/13a11e92edec70b6.swift
similarity index 89%
rename from validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift
rename to validation-test/compiler_crashers_2/13a11e92edec70b6.swift
index 337de133cd6ab..5aa788764a9b5 100644
--- a/validation-test/compiler_crashers_2/9d8144a4e9141c6d.swift
+++ b/validation-test/compiler_crashers_2/13a11e92edec70b6.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::Parser::parseStmtConditionElement(llvm::SmallVectorImpl<swift::StmtConditionElement>&, swift::Diag<>, swift::StmtKind, llvm::StringRef&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a: b[        if let
+func a: b[ if let
diff --git a/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift b/validation-test/compiler_crashers_2/16194a387970a2e6.swift
similarity index 80%
rename from validation-test/compiler_crashers_2/708df9aa47bf25c1.swift
rename to validation-test/compiler_crashers_2/16194a387970a2e6.swift
index 7480677cdb67c..81dac41d6f66c 100644
--- a/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift
+++ b/validation-test/compiler_crashers_2/16194a387970a2e6.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::TuplePattern::createSimple(swift::ASTContext&, swift::SourceLoc, llvm::ArrayRef<swift::TuplePatternElt>, swift::SourceLoc)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-switch {                          case (repeat a
+switch { case (repeat a
diff --git a/validation-test/compiler_crashers_2/1b16ff2a2ad5be.swift b/validation-test/compiler_crashers_2/1b16ff2a2ad5be.swift
new file mode 100644
index 0000000000000..c93fe15653973
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..67cc303dee5ac
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..8c2da215f9391
--- /dev/null
+++ 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/fc35131688595b.swift b/validation-test/compiler_crashers_2/1f6ae695bebb359b.swift
similarity index 77%
rename from validation-test/compiler_crashers_2/fc35131688595b.swift
rename to validation-test/compiler_crashers_2/1f6ae695bebb359b.swift
index 900e714322907..1c35575793929 100644
--- a/validation-test/compiler_crashers_2/fc35131688595b.swift
+++ b/validation-test/compiler_crashers_2/1f6ae695bebb359b.swift
@@ -1,3 +1,3 @@
 // {"signature":"makeBinOp(swift::ASTContext&, swift::Expr*, swift::Expr*, swift::Expr*, swift::PrecedenceGroupDecl*, bool)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-let a=  switch a {                      case &b as? b
+let a= switch a { case &b as? b
diff --git a/validation-test/compiler_crashers_2/1fb63f2dc87bc9b9.swift b/validation-test/compiler_crashers_2/1fb63f2dc87bc9b9.swift
new file mode 100644
index 0000000000000..6192c4bd17615
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..7e367ce1fafe9
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..a3f4faaa87333
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..4a03fe302445c
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..c3f79aa287b6d
--- /dev/null
+++ 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/2bc220ee62d5d65.swift b/validation-test/compiler_crashers_2/2e58d3af692e43c.swift
similarity index 85%
rename from validation-test/compiler_crashers_2/2bc220ee62d5d65.swift
rename to validation-test/compiler_crashers_2/2e58d3af692e43c.swift
index 3681abe61f9ff..2858aff825e0b 100644
--- a/validation-test/compiler_crashers_2/2bc220ee62d5d65.swift
+++ b/validation-test/compiler_crashers_2/2e58d3af692e43c.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::Parser::parseTypeSimple(swift::Diag<>, swift::Parser::ParseTypeReason)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-subscript(a: ~b          <
+subscript(a: ~b <
diff --git a/validation-test/compiler_crashers_2/83d5136a1ea615f9.swift b/validation-test/compiler_crashers_2/3070c3e372b52e7e.swift
similarity index 85%
rename from validation-test/compiler_crashers_2/83d5136a1ea615f9.swift
rename to validation-test/compiler_crashers_2/3070c3e372b52e7e.swift
index 39be5d3c4249a..66aa39eeaef9e 100644
--- a/validation-test/compiler_crashers_2/83d5136a1ea615f9.swift
+++ b/validation-test/compiler_crashers_2/3070c3e372b52e7e.swift
@@ -3,4 +3,4 @@
 struct a func b(c : a) {
   {
     switch
-      c {                       case .baz(c==
+      c { case .baz(c==
diff --git a/validation-test/compiler_crashers_2/bb317d94bc705750.swift b/validation-test/compiler_crashers_2/33b407eb167aba5.swift
similarity index 80%
rename from validation-test/compiler_crashers_2/bb317d94bc705750.swift
rename to validation-test/compiler_crashers_2/33b407eb167aba5.swift
index 27078d8c7d620..7eace71f20688 100644
--- a/validation-test/compiler_crashers_2/bb317d94bc705750.swift
+++ b/validation-test/compiler_crashers_2/33b407eb167aba5.swift
@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::coerceCallArguments(swift::ArgumentList*, swift::AnyFunctionType*, swift::ConcreteDeclRef, swift::ApplyExpr*, swift::constraints::ConstraintLocatorBuilder, llvm::ArrayRef<swift::AppliedPropertyWrapper>)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a<b, each c>(body : (repeat each c)->b) {                        body(
+func a<b, each c>(body : (repeat each c)->b) { body(
diff --git a/validation-test/compiler_crashers_2/fa3981f71bc0d522.swift b/validation-test/compiler_crashers_2/35129b57d7eb80f4.swift
similarity index 80%
rename from validation-test/compiler_crashers_2/fa3981f71bc0d522.swift
rename to validation-test/compiler_crashers_2/35129b57d7eb80f4.swift
index 3eab910394749..f1e36b4fb7ab4 100644
--- a/validation-test/compiler_crashers_2/fa3981f71bc0d522.swift
+++ b/validation-test/compiler_crashers_2/35129b57d7eb80f4.swift
@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprWalker::rewriteTarget(swift::constraints::SyntacticElementTarget)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{                   Sendable(Sendable<<a
+{ Sendable(Sendable<<a
diff --git a/validation-test/compiler_crashers_2/fea44854b27673b7.swift b/validation-test/compiler_crashers_2/441e44e28042d5a3.swift
similarity index 78%
rename from validation-test/compiler_crashers_2/fea44854b27673b7.swift
rename to validation-test/compiler_crashers_2/441e44e28042d5a3.swift
index 7fc7328cb8250..69369f6de1291 100644
--- a/validation-test/compiler_crashers_2/fea44854b27673b7.swift
+++ b/validation-test/compiler_crashers_2/441e44e28042d5a3.swift
@@ -1,3 +1,3 @@
 // {"signature":"deriveBodyRawRepresentable_init(swift::AbstractFunctionDecl*, void*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-a enum a : Int {              case = #/
+a enum a : Int { case = #/
diff --git a/validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift b/validation-test/compiler_crashers_2/45e1131d17a7561c.swift
similarity index 78%
rename from validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift
rename to validation-test/compiler_crashers_2/45e1131d17a7561c.swift
index 097850633e9c4..0eeda0a5946a5 100644
--- a/validation-test/compiler_crashers_2/d9fe6f57e64fee5.swift
+++ b/validation-test/compiler_crashers_2/45e1131d17a7561c.swift
@@ -1,6 +1,6 @@
 // {"signature":"swift::constraints::simplifyLocator(swift::ASTNode&, llvm::ArrayRef<swift::constraints::ConstraintLocator::PathElement>&, swift::SourceRange&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-struct a {                        eq = ""    b "Self ecuador1 Self) > Bool {
+struct a { eq = "" b "Self ecuador1 Self) > Bool {
     let getProperties = (
       \.eq as Self -> _
   let eq = ""
diff --git a/validation-test/compiler_crashers_2/41a8ab272521be7.swift b/validation-test/compiler_crashers_2/486a70c43d10bda5.swift
similarity index 84%
rename from validation-test/compiler_crashers_2/41a8ab272521be7.swift
rename to validation-test/compiler_crashers_2/486a70c43d10bda5.swift
index 15dbd48dbb83c..144a54c289628 100644
--- a/validation-test/compiler_crashers_2/41a8ab272521be7.swift
+++ b/validation-test/compiler_crashers_2/486a70c43d10bda5.swift
@@ -1,4 +1,4 @@
 // {"signature":"(anonymous namespace)::ConnectedComponents::unionSets(swift::TypeVariableType*, swift::TypeVariableType*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-let b = (       c  ,       d  a {
+let b = ( c , d a {
 e b
diff --git a/validation-test/compiler_crashers_2/4b5eac547c7b87.swift b/validation-test/compiler_crashers_2/4b5eac547c7b87.swift
new file mode 100644
index 0000000000000..28b8fb55d7c6b
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..7888d6554a8de
--- /dev/null
+++ 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/d55c5b967af3ce9d.swift b/validation-test/compiler_crashers_2/51e2471a4cadad3d.swift
similarity index 80%
rename from validation-test/compiler_crashers_2/d55c5b967af3ce9d.swift
rename to validation-test/compiler_crashers_2/51e2471a4cadad3d.swift
index 05b31348e2771..64d5b30fc8c05 100644
--- a/validation-test/compiler_crashers_2/d55c5b967af3ce9d.swift
+++ b/validation-test/compiler_crashers_2/51e2471a4cadad3d.swift
@@ -1,4 +1,4 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::buildSingleCurryThunk(swift::Expr*, swift::Expr*, swift::DeclContext*, swift::FunctionType*, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 // REQUIRES: OS=macosx
-import Foundation func a(b: AnyClass?)  {                     	b (b
+import Foundation func a(b: AnyClass?) { b (b
diff --git a/validation-test/compiler_crashers_2/52afb182b33879f5.swift b/validation-test/compiler_crashers_2/52afb182b33879f5.swift
new file mode 100644
index 0000000000000..05c603a0da1b0
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..0be754a8bad7b
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..ee62be3769cd5
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..07b9b0f34729d
--- /dev/null
+++ 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/b698c95ef914d7.swift b/validation-test/compiler_crashers_2/5939b8697dd25c0.swift
similarity index 92%
rename from validation-test/compiler_crashers_2/b698c95ef914d7.swift
rename to validation-test/compiler_crashers_2/5939b8697dd25c0.swift
index acc5134cd8c72..a627d67283673 100644
--- a/validation-test/compiler_crashers_2/b698c95ef914d7.swift
+++ b/validation-test/compiler_crashers_2/5939b8697dd25c0.swift
@@ -1,3 +1,3 @@
 // {"signature":"diagSyntacticUseRestrictions(swift::Expr const*, swift::DeclContext const*, bool)::DiagnoseWalker::walkToExprPre(swift::Expr*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{        @#b([a:
+{ @#b([a:
diff --git a/validation-test/compiler_crashers_2/5ccf43ee108a37e9.swift b/validation-test/compiler_crashers_2/5ccf43ee108a37e9.swift
new file mode 100644
index 0000000000000..fbd8db7aa31ba
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..4a105706f42e7
--- /dev/null
+++ 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/664bfb127c7ab070.swift b/validation-test/compiler_crashers_2/664bfb127c7ab070.swift
deleted file mode 100644
index 9be8ff53573a9..0000000000000
--- a/validation-test/compiler_crashers_2/664bfb127c7ab070.swift
+++ /dev/null
@@ -1,3 +0,0 @@
-// {"signature":"swift::EnumRawValuesRequest::evaluate(swift::Evaluator&, swift::EnumDecl*, swift::TypeResolutionStage) const"}
-// 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/32f7abe7416344a.swift b/validation-test/compiler_crashers_2/685973a04a9055ad.swift
similarity index 74%
rename from validation-test/compiler_crashers_2/32f7abe7416344a.swift
rename to validation-test/compiler_crashers_2/685973a04a9055ad.swift
index 10c5435421430..1748e97d40745 100644
--- a/validation-test/compiler_crashers_2/32f7abe7416344a.swift
+++ b/validation-test/compiler_crashers_2/685973a04a9055ad.swift
@@ -1,9 +1,9 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < each b : Collection {
-      c : (     repeat each b
-        extension   
+      c : ( repeat each b
+        extension
   struct Index {
           d : (repeat(each b.Index
   } var endIndex : Index {
-                      Index(d:  repeat (each c).endIndex
+                      Index(d: repeat (each c).endIndex
diff --git a/validation-test/compiler_crashers_2/6cbf7908427d45f.swift b/validation-test/compiler_crashers_2/6cbf7908427d45f.swift
new file mode 100644
index 0000000000000..d4a13877c2d43
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..30951ccb2e92f
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..70e7b7172471e
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..e5b71cd5d7130
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..d79d49259b8b4
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..4d37561a3cd20
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..ccaf2f644f18a
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..c1a13892810b2
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..e53960b9e28d6
--- /dev/null
+++ 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/eae1c23b8661884.swift b/validation-test/compiler_crashers_2/88ba80199b702649.swift
similarity index 76%
rename from validation-test/compiler_crashers_2/eae1c23b8661884.swift
rename to validation-test/compiler_crashers_2/88ba80199b702649.swift
index 7d4cb96c0fd35..09ecf31486d0a 100644
--- a/validation-test/compiler_crashers_2/eae1c23b8661884.swift
+++ b/validation-test/compiler_crashers_2/88ba80199b702649.swift
@@ -1,3 +1,3 @@
 // {"signature":"(anonymous namespace)::ExprRewriter::finishApply(swift::ApplyExpr*, swift::Type, swift::constraints::ConstraintLocatorBuilder, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a(b : ()->Void c : _->Void) {          withoutActuallyEscaping(b do : c
+func a(b : ()->Void c : _->Void) { withoutActuallyEscaping(b do : c
diff --git a/validation-test/compiler_crashers_2/e38f396e3ac8635.swift b/validation-test/compiler_crashers_2/89bcf379b8d4d092.swift
similarity index 71%
rename from validation-test/compiler_crashers_2/e38f396e3ac8635.swift
rename to validation-test/compiler_crashers_2/89bcf379b8d4d092.swift
index c635d46502ea0..88b9bbc1f95dd 100644
--- a/validation-test/compiler_crashers_2/e38f396e3ac8635.swift
+++ b/validation-test/compiler_crashers_2/89bcf379b8d4d092.swift
@@ -2,5 +2,5 @@
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < b : FixedWidthInteger extension a : Sequence {
   c {
-    {                           for
-        d self {                            b(truncatingIfNeeded : d
+    { for
+        d self { b(truncatingIfNeeded : d
diff --git a/validation-test/compiler_crashers_2/8a6431938ab864b3.swift b/validation-test/compiler_crashers_2/8a6431938ab864b3.swift
new file mode 100644
index 0000000000000..f851a2467b981
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..6868415c03be7
--- /dev/null
+++ b/validation-test/compiler_crashers_2/8a6584ca91fedd9.swift
@@ -0,0 +1,3 @@
+// {"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/8ae148bd6e72fec2.swift b/validation-test/compiler_crashers_2/8ae148bd6e72fec2.swift
deleted file mode 100644
index c7a780a906961..0000000000000
--- a/validation-test/compiler_crashers_2/8ae148bd6e72fec2.swift
+++ /dev/null
@@ -1,3 +0,0 @@
-// {"signature":"swift::TypeBase::removeArgumentLabels(unsigned int)"}
-// RUN: not --crash %target-swift-frontend -typecheck %s
-struct a            dynamic subscript(b c: Int) a            subscript(b c: Int) a            @_dynamicReplacement(for: subscript)   subscript(Int) a {       }
diff --git a/validation-test/compiler_crashers_2/90773c979d435f7.swift b/validation-test/compiler_crashers_2/90773c979d435f7.swift
new file mode 100644
index 0000000000000..6b160e9f6cde6
--- /dev/null
+++ 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/8dc888b8948ac9a.swift b/validation-test/compiler_crashers_2/912b50e86d7f221c.swift
similarity index 86%
rename from validation-test/compiler_crashers_2/8dc888b8948ac9a.swift
rename to validation-test/compiler_crashers_2/912b50e86d7f221c.swift
index b116c0a3f7508..fccb17e0344ad 100644
--- a/validation-test/compiler_crashers_2/8dc888b8948ac9a.swift
+++ b/validation-test/compiler_crashers_2/912b50e86d7f221c.swift
@@ -1,5 +1,5 @@
 // {"signature":"swift::constraints::AllowTypeOrInstanceMemberFailure::diagnoseAsError()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-struct a func b<c >(c = a [ 
+struct a func b<c >(c = a [
        extension a {
 subscript->Int
diff --git a/validation-test/compiler_crashers_2/933fe28af784ae94.swift b/validation-test/compiler_crashers_2/933fe28af784ae94.swift
new file mode 100644
index 0000000000000..34a69f30427e9
--- /dev/null
+++ 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/28df9f73eb89a38.swift b/validation-test/compiler_crashers_2/93553842ae73253.swift
similarity index 78%
rename from validation-test/compiler_crashers_2/28df9f73eb89a38.swift
rename to validation-test/compiler_crashers_2/93553842ae73253.swift
index 1f4478e7030a2..52823d2ea51be 100644
--- a/validation-test/compiler_crashers_2/28df9f73eb89a38.swift
+++ b/validation-test/compiler_crashers_2/93553842ae73253.swift
@@ -1,3 +1,3 @@
 // {"signature":"lookupReplacedDecl(swift::DeclNameRef, swift::DeclAttribute const*, swift::ValueDecl const*, llvm::SmallVectorImpl<swift::ValueDecl*>&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{                     @_dynamicReplacement(for: )   func a
+{ @_dynamicReplacement(for: ) func a
diff --git a/validation-test/compiler_crashers_2/93eaba9fd0e76cdf.swift b/validation-test/compiler_crashers_2/93eaba9fd0e76cdf.swift
new file mode 100644
index 0000000000000..3b4535b3be622
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..dd2f75b67476d
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..c2af1e20892f1
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..86b99132e3531
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..228868a2e4976
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..062ad88089fc7
--- /dev/null
+++ 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/f14720755187419.swift b/validation-test/compiler_crashers_2/9f75fc85a5c32bf2.swift
similarity index 94%
rename from validation-test/compiler_crashers_2/f14720755187419.swift
rename to validation-test/compiler_crashers_2/9f75fc85a5c32bf2.swift
index a5212c18c5785..c0bd6f3c448bd 100644
--- a/validation-test/compiler_crashers_2/f14720755187419.swift
+++ b/validation-test/compiler_crashers_2/9f75fc85a5c32bf2.swift
@@ -1,4 +1,4 @@
 // {"signature":"swift::constraints::ConstraintSystem::setTargetFor(swift::constraints::SyntacticElementTargetKey, swift::constraints::SyntacticElementTarget)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-{$0=[{}  }(
+{$0=[{} }(
 [a:
diff --git a/validation-test/compiler_crashers_2/aea9b13219906649.swift b/validation-test/compiler_crashers_2/a04f67aa8fb22efa.swift
similarity index 55%
rename from validation-test/compiler_crashers_2/aea9b13219906649.swift
rename to validation-test/compiler_crashers_2/a04f67aa8fb22efa.swift
index 5deca465201ff..4d1f8666dcd31 100644
--- a/validation-test/compiler_crashers_2/aea9b13219906649.swift
+++ b/validation-test/compiler_crashers_2/a04f67aa8fb22efa.swift
@@ -2,4 +2,4 @@
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < Element {
   b {
-    class c : Collection {          typealias Index = d subscript(e                                                               :
+    class c : Collection { typealias Index = d subscript(e :
diff --git a/validation-test/compiler_crashers_2/a0b4d94ad0e977d0.swift b/validation-test/compiler_crashers_2/a0b4d94ad0e977d0.swift
new file mode 100644
index 0000000000000..86beade3f06a9
--- /dev/null
+++ 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/2a41be58398eb21.swift b/validation-test/compiler_crashers_2/a12deef4ea31815.swift
similarity index 70%
rename from validation-test/compiler_crashers_2/2a41be58398eb21.swift
rename to validation-test/compiler_crashers_2/a12deef4ea31815.swift
index 24b045df5599d..aa6ab7a0c22f6 100644
--- a/validation-test/compiler_crashers_2/2a41be58398eb21.swift
+++ b/validation-test/compiler_crashers_2/a12deef4ea31815.swift
@@ -1,4 +1,4 @@
 // {"signature":"swift::DeclContext::getASTContext() const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-@a({                              struct b                 }
+@a({ struct b }
                         var c
diff --git a/validation-test/compiler_crashers_2/a1776e4598146d49.swift b/validation-test/compiler_crashers_2/a1776e4598146d49.swift
new file mode 100644
index 0000000000000..63bbf3fa0a0ac
--- /dev/null
+++ 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/ccbe6b312cbec2.swift b/validation-test/compiler_crashers_2/a53b65eef074b0fa.swift
similarity index 82%
rename from validation-test/compiler_crashers_2/ccbe6b312cbec2.swift
rename to validation-test/compiler_crashers_2/a53b65eef074b0fa.swift
index e91101da75ad9..5e2bb3385b0b3 100644
--- a/validation-test/compiler_crashers_2/ccbe6b312cbec2.swift
+++ b/validation-test/compiler_crashers_2/a53b65eef074b0fa.swift
@@ -1,4 +1,4 @@
 // {"signature":"swift::constraints::MissingConformanceFailure::diagnoseTypeCannotConform(swift::Type, swift::Type) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 protocol a extension a {
-  b {                     func * (Self=  {
+  b { func * (Self= {
diff --git a/validation-test/compiler_crashers_2/a81ff5cc2d29ef15.swift b/validation-test/compiler_crashers_2/a81ff5cc2d29ef15.swift
new file mode 100644
index 0000000000000..f14ff75fdfa95
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..e988fba99f1dc
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..65b5610f42be2
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..f369d6d68fbc4
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..1179d4c58a496
--- /dev/null
+++ 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/42a0e5e85861da7e.swift b/validation-test/compiler_crashers_2/b862de77602e6bcf.swift
similarity index 89%
rename from validation-test/compiler_crashers_2/42a0e5e85861da7e.swift
rename to validation-test/compiler_crashers_2/b862de77602e6bcf.swift
index de164113b2d01..ca07e17c97a90 100644
--- a/validation-test/compiler_crashers_2/42a0e5e85861da7e.swift
+++ b/validation-test/compiler_crashers_2/b862de77602e6bcf.swift
@@ -1,4 +1,4 @@
 // {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0zE8SeverityVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 // REQUIRES: swift_swift_parser
-class a {                     @objc ( :   ( b
+class a { @objc ( : ( b
diff --git a/validation-test/compiler_crashers_2/b8a659988983457.swift b/validation-test/compiler_crashers_2/b8a659988983457.swift
new file mode 100644
index 0000000000000..1af9f21f825e5
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..7b8414457b88e
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..e286f4b6c9314
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..8ed7e2e8f375a
--- /dev/null
+++ 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/5ca07be48f3dc630.swift b/validation-test/compiler_crashers_2/bf28fe4f10fb3dc.swift
similarity index 86%
rename from validation-test/compiler_crashers_2/5ca07be48f3dc630.swift
rename to validation-test/compiler_crashers_2/bf28fe4f10fb3dc.swift
index c5c4158eb4ada..188d6f64af066 100644
--- a/validation-test/compiler_crashers_2/5ca07be48f3dc630.swift
+++ b/validation-test/compiler_crashers_2/bf28fe4f10fb3dc.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::TuplePatternElt& llvm::SmallVectorTemplateBase<swift::TuplePatternElt, true>::growAndEmplaceBack<swift::Identifier, swift::SourceLoc, swift::Pattern*&>(swift::Identifier&&, swift::SourceLoc&&, swift::Pattern*&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-switch {                           case .a(&b
+switch { case .a(&b
diff --git a/validation-test/compiler_crashers_2/c25aed95f6f6d937.swift b/validation-test/compiler_crashers_2/c25aed95f6f6d937.swift
index db9bbd82eac20..8b3ce7469ed6b 100644
--- 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
new file mode 100644
index 0000000000000..7c06e4b8ac7e2
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..fa8720485d3e2
--- /dev/null
+++ 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/f9e59e692b1a6124.swift b/validation-test/compiler_crashers_2/c9616ad936925cb2.swift
similarity index 66%
rename from validation-test/compiler_crashers_2/f9e59e692b1a6124.swift
rename to validation-test/compiler_crashers_2/c9616ad936925cb2.swift
index 41c28cf10bfcc..8254d7474f961 100644
--- a/validation-test/compiler_crashers_2/f9e59e692b1a6124.swift
+++ b/validation-test/compiler_crashers_2/c9616ad936925cb2.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::constraints::Solution::getFunctionArgApplyInfo(swift::constraints::ConstraintLocator*) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a<b, each c>(d : repeat(b)->each c) {                               repeat d(e = f
+func a<b, each c>(d : repeat(b)->each c) { repeat d(e = f
diff --git a/validation-test/compiler_crashers_2/ca6d8aa86398959.swift b/validation-test/compiler_crashers_2/ca590685b7123ac.swift
similarity index 66%
rename from validation-test/compiler_crashers_2/ca6d8aa86398959.swift
rename to validation-test/compiler_crashers_2/ca590685b7123ac.swift
index 5180276d27e32..6560a80a65902 100644
--- a/validation-test/compiler_crashers_2/ca6d8aa86398959.swift
+++ b/validation-test/compiler_crashers_2/ca590685b7123ac.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::SubstitutionMap::get(swift::GenericSignature, swift::InFlightSubstitution&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-struct a < each b {                     class c protocol d        init(e: c & d
+struct a < each b { class c protocol d init(e: c & d
diff --git a/validation-test/compiler_crashers_2/cb8022311165d5ef.swift b/validation-test/compiler_crashers_2/cb8022311165d5ef.swift
new file mode 100644
index 0000000000000..247d5b9286560
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..45e16469a28b4
--- /dev/null
+++ 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/1834491e5a6c6aa.swift b/validation-test/compiler_crashers_2/d14a9abe37cc3bca.swift
similarity index 59%
rename from validation-test/compiler_crashers_2/1834491e5a6c6aa.swift
rename to validation-test/compiler_crashers_2/d14a9abe37cc3bca.swift
index ffc3a075c5afd..3f4459be56482 100644
--- a/validation-test/compiler_crashers_2/1834491e5a6c6aa.swift
+++ b/validation-test/compiler_crashers_2/d14a9abe37cc3bca.swift
@@ -1,4 +1,4 @@
 // {"signature":"swift::constraints::SolverTrail::~SolverTrail()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-enum a< b {          case c(}
-         func d< b >(b->a< b >) d(a< e >.c      let   a
+enum a< b { case c(}
+         func d< b >(b->a< b >) d(a< e >.c let a
diff --git a/validation-test/compiler_crashers_2/d2b0fe8a9614624.swift b/validation-test/compiler_crashers_2/d2b0fe8a9614624.swift
new file mode 100644
index 0000000000000..cae13a4d56b3d
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..e0912f71c9f8c
--- /dev/null
+++ 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/a956113db696f695.swift b/validation-test/compiler_crashers_2/d48b4d2e686349d.swift
similarity index 70%
rename from validation-test/compiler_crashers_2/a956113db696f695.swift
rename to validation-test/compiler_crashers_2/d48b4d2e686349d.swift
index 1db2cba332d67..ae36428975d59 100644
--- a/validation-test/compiler_crashers_2/a956113db696f695.swift
+++ b/validation-test/compiler_crashers_2/d48b4d2e686349d.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::constraints::ConstraintSystem::associateArgumentList(swift::constraints::ConstraintLocator*, swift::ArgumentList*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-protocol b let b = {          (a : b)in switch a {                    case  .c(d(
+protocol b let b = { (a : b)in switch a { case .c(d(
diff --git a/validation-test/compiler_crashers_2/d48def542970cfa.swift b/validation-test/compiler_crashers_2/d48def542970cfa.swift
new file mode 100644
index 0000000000000..ffbeac8876178
--- /dev/null
+++ 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/462166deb3165a25.swift b/validation-test/compiler_crashers_2/df69d29c5771e948.swift
similarity index 80%
rename from validation-test/compiler_crashers_2/462166deb3165a25.swift
rename to validation-test/compiler_crashers_2/df69d29c5771e948.swift
index 162ef6a95cc7b..8b1c1cbf3a3c2 100644
--- a/validation-test/compiler_crashers_2/462166deb3165a25.swift
+++ b/validation-test/compiler_crashers_2/df69d29c5771e948.swift
@@ -1,3 +1,3 @@
 // {"signature":"swift::constraints::ConstraintSystem::repairFailures(swift::Type, swift::Type, swift::constraints::ConstraintKind, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, llvm::SmallVectorImpl<swift::constraints::RestrictionOrFix>&, swift::constraints::ConstraintLocatorBuilder)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-func a< b  , c : Sequence, d >(     b, c) where b== c.Element          a(  (    0 ,     [ (0 0), (
+func a< b , c : Sequence, d >( b, c) where b== c.Element a( ( 0 , [ (0 0), (
diff --git a/validation-test/compiler_crashers_2/a07eb9e27e229d9.swift b/validation-test/compiler_crashers_2/e1f8b6a26663e9b5.swift
similarity index 67%
rename from validation-test/compiler_crashers_2/a07eb9e27e229d9.swift
rename to validation-test/compiler_crashers_2/e1f8b6a26663e9b5.swift
index b2b94c7e837ee..b419e37e724dc 100644
--- a/validation-test/compiler_crashers_2/a07eb9e27e229d9.swift
+++ b/validation-test/compiler_crashers_2/e1f8b6a26663e9b5.swift
@@ -1,4 +1,4 @@
 // {"signature":"swift::CanTypeVisitor<swift::TypeMatcher<(anonymous namespace)::AssociatedTypeInference::getPotentialTypeWitnessesByMatchingTypes(swift::ValueDecl*, swift::ValueDecl*)::MatchVisitor>::MatchVisitor, bool, swift::Type, swift::Type>::visit(swift::CanType, swift::Type, swift::Type)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-protocol a {                          associatedtype b func c(_ : _ d: b     }
-                         extension a {                      c(_ : _ d: b     struct e : a
+protocol a { associatedtype b func c(_ : _ d: b }
+                         extension a { c(_ : _ d: b struct e : a
diff --git a/validation-test/compiler_crashers_2/e28bbaa21817d3.swift b/validation-test/compiler_crashers_2/e28bbaa21817d3.swift
new file mode 100644
index 0000000000000..7770e7e5609fb
--- /dev/null
+++ b/validation-test/compiler_crashers_2/e28bbaa21817d3.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::TypeBase::removeArgumentLabels(unsigned int)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a dynamic subscript(b c: Int) a subscript(b c: Int) a @_dynamicReplacement(for: subscript) subscript(Int) a { }
diff --git a/validation-test/compiler_crashers_2/e2b164a3c37951d.swift b/validation-test/compiler_crashers_2/e2b164a3c37951d.swift
new file mode 100644
index 0000000000000..47083db2cc603
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..fdcb3757454a3
--- /dev/null
+++ 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/a14425d8c311540.swift b/validation-test/compiler_crashers_2/e594fd2382ce311.swift
similarity index 61%
rename from validation-test/compiler_crashers_2/a14425d8c311540.swift
rename to validation-test/compiler_crashers_2/e594fd2382ce311.swift
index 402a347d94f9d..a6eb47e9d33cf 100644
--- a/validation-test/compiler_crashers_2/a14425d8c311540.swift
+++ b/validation-test/compiler_crashers_2/e594fd2382ce311.swift
@@ -1,5 +1,5 @@
 // {"signature":"swift::constraints::MissingCallFailure::diagnoseAsError()"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a < each b {
-  init(repeat each b) func c < each d {                      a<repeat each d, String >(repeat e, {
+  init(repeat each b) func c < each d { a<repeat each d, String >(repeat e, {
     ""
diff --git a/validation-test/compiler_crashers_2/e69d4d956514d9ef.swift b/validation-test/compiler_crashers_2/e69d4d956514d9ef.swift
new file mode 100644
index 0000000000000..6e9b4a87dcff3
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..3ab549259710e
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..57302a42708db
--- /dev/null
+++ 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/5f39f86b8424ccb.swift b/validation-test/compiler_crashers_2/ee271b56888b63fa.swift
similarity index 69%
rename from validation-test/compiler_crashers_2/5f39f86b8424ccb.swift
rename to validation-test/compiler_crashers_2/ee271b56888b63fa.swift
index 369d5978cd8d5..13904d9b87de1 100644
--- a/validation-test/compiler_crashers_2/5f39f86b8424ccb.swift
+++ b/validation-test/compiler_crashers_2/ee271b56888b63fa.swift
@@ -1,5 +1,5 @@
 // {"signature":"swift::InFlightSubstitution::substType(swift::SubstitutableType*, unsigned int)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
-typealias a< each b > =       ( <   struct c< each d {
+typealias a< each b > = ( < struct c< each d {
            typealias e< each b > = (repeat a< each d, each b >
-          struct f typealias 1 = c  .e<>
+          struct f typealias 1 = c .e<>
diff --git a/validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift b/validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift
index ab31c3ae6c828..e61bb9fec6508 100644
--- 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
new file mode 100644
index 0000000000000..a72fbc7e1fbc5
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..8277b92fba447
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..0c362f9226ae4
--- /dev/null
+++ 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
new file mode 100644
index 0000000000000..32ee0ed2e3eb8
--- /dev/null
+++ 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
index cd85d8aadea27..f5be37a2d20c4 100644
--- 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
new file mode 100644
index 0000000000000..8bf426b07ac04
--- /dev/null
+++ 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 $