diff --git a/validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift b/validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift
new file mode 100644
index 0000000000000..24aae0960a8bb
--- /dev/null
+++ b/validation-test/compiler_crashers_2/1be7dd4882cd8c39.swift
@@ -0,0 +1,6 @@
+// {"signature":"swift::RootProtocolConformance::getWitness(swift::ValueDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a{typealias b : IteratorProtocol} extension a{typealias Element =
+                                                           b.Element} protocol c
+    : a{typealias b typealias Element} protocol d
+    : c{typealias Element} protocol e : d struct f : e
diff --git a/validation-test/compiler_crashers_2/294a6f55bd8bcd7.swift b/validation-test/compiler_crashers_2/294a6f55bd8bcd7.swift
new file mode 100644
index 0000000000000..7e89a4266e012
--- /dev/null
+++ b/validation-test/compiler_crashers_2/294a6f55bd8bcd7.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::GenericSignatureImpl::getReducedTypeParameter(swift::CanType) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+enum b : c protocol
+a{typealias c : d.e struct d : a func c typealias e} typealias c : a
diff --git a/validation-test/compiler_crashers_2/2bc220ee62d5d65.swift b/validation-test/compiler_crashers_2/2bc220ee62d5d65.swift
new file mode 100644
index 0000000000000..3681abe61f9ff
--- /dev/null
+++ b/validation-test/compiler_crashers_2/2bc220ee62d5d65.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::Parser::parseTypeSimple(swift::Diag<>, swift::Parser::ParseTypeReason)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+subscript(a: ~b          <
diff --git a/validation-test/compiler_crashers_2/442f5cd1363787db.swift b/validation-test/compiler_crashers_2/442f5cd1363787db.swift
new file mode 100644
index 0000000000000..1e1edf55391cd
--- /dev/null
+++ b/validation-test/compiler_crashers_2/442f5cd1363787db.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  @b c, () {
diff --git a/validation-test/compiler_crashers_2/462166deb3165a25.swift b/validation-test/compiler_crashers_2/462166deb3165a25.swift
new file mode 100644
index 0000000000000..162ef6a95cc7b
--- /dev/null
+++ b/validation-test/compiler_crashers_2/462166deb3165a25.swift
@@ -0,0 +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), (
diff --git a/validation-test/compiler_crashers_2/4fbdbc38c141e94.swift b/validation-test/compiler_crashers_2/4fbdbc38c141e94.swift
new file mode 100644
index 0000000000000..b17d4902a46ff
--- /dev/null
+++ b/validation-test/compiler_crashers_2/4fbdbc38c141e94.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::TypeChecker::typeCheckParameterDefault(swift::Expr*&, swift::DeclContext*, swift::Type, bool, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+init<a>(b: a == {
diff --git a/validation-test/compiler_crashers_2/57ee53be7e5846a.swift b/validation-test/compiler_crashers_2/57ee53be7e5846a.swift
new file mode 100644
index 0000000000000..1714e8b3420fa
--- /dev/null
+++ b/validation-test/compiler_crashers_2/57ee53be7e5846a.swift
@@ -0,0 +1,7 @@
+// {"signature":"substPrefixType(swift::Type, unsigned int, swift::Type, swift::GenericSignature)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  protocol a{associatedtype b} extension a {
+    extension a {
+      struct c {
+        d : b
diff --git a/validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift b/validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift
new file mode 100644
index 0000000000000..2afa5a8b1754b
--- /dev/null
+++ b/validation-test/compiler_crashers_2/64bfdff1cfbfc74.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::constraints::ConstraintSystem::simplifySameShapeConstraint(swift::Type, swift::Type, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a < each b {
+  c(d : repeat each b) {
+    c(preacidte : b) {
diff --git a/validation-test/compiler_crashers_2/651fea1b598eb09d.swift b/validation-test/compiler_crashers_2/651fea1b598eb09d.swift
new file mode 100644
index 0000000000000..f3d741ed28d1e
--- /dev/null
+++ b/validation-test/compiler_crashers_2/651fea1b598eb09d.swift
@@ -0,0 +1,4 @@
+// {"signature":"swift::constraints::ConjunctionStep::SolverSnapshot::~SolverSnapshot()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Foundation{let a = malloc(b.c <d>
diff --git a/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift b/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift
new file mode 100644
index 0000000000000..7480677cdb67c
--- /dev/null
+++ b/validation-test/compiler_crashers_2/708df9aa47bf25c1.swift
@@ -0,0 +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
diff --git a/validation-test/compiler_crashers_2/c24f9fc998e2886.swift b/validation-test/compiler_crashers_2/c24f9fc998e2886.swift
new file mode 100644
index 0000000000000..13e3112c9b9d5
--- /dev/null
+++ b/validation-test/compiler_crashers_2/c24f9fc998e2886.swift
@@ -0,0 +1,3 @@
+// {"signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)"}
+// RUN: not --crash %target-swift-frontend -typecheck -diagnostic-style=llvm %s
+''
diff --git a/validation-test/compiler_crashers_2/ca6d8aa86398959.swift b/validation-test/compiler_crashers_2/ca6d8aa86398959.swift
new file mode 100644
index 0000000000000..5180276d27e32
--- /dev/null
+++ b/validation-test/compiler_crashers_2/ca6d8aa86398959.swift
@@ -0,0 +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
diff --git a/validation-test/compiler_crashers_2/f864514671159f38.swift b/validation-test/compiler_crashers_2/f864514671159f38.swift
new file mode 100644
index 0000000000000..e2a9f4a7584be
--- /dev/null
+++ b/validation-test/compiler_crashers_2/f864514671159f38.swift
@@ -0,0 +1,5 @@
+// {"signature":"swift::constraints::MissingContextualConformanceFailure::diagnoseAsError()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a }
+                       {
+                      b -> a? in return .c<d e