[test] Add some more known crashers

hamishknight · hamishknight · commit 74fcee3982a0 · 2025-10-06T11:50:39.000+01:00
diff --git a/validation-test/IDE/crashers/0dfb0607ca6550ec.swift b/validation-test/IDE/crashers/0dfb0607ca6550ec.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"002a4f4b","signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)","signatureAssert":"Assertion failed: ((size_t)sys::locale::columnWidth(Fixit.getText()) == Fixit.getText().size()), function buildFixItLine"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+func b<c where #^^# == <#type#>>(a: <#type#>)
diff --git a/validation-test/IDE/crashers/113aa5cad622a515.swift b/validation-test/IDE/crashers/113aa5cad622a515.swift
@@ -0,0 +1,9 @@
+// {"kind":"complete","original":"3a7f38eb","signature":"swift::Mangle::ASTMangler::appendType(swift::Type, swift::GenericSignature, swift::ValueDecl const*)","signatureAssert":"Assertion failed: (paramTy->isCanonical() && \"cannot mangle non-canonical generic parameter\"), function appendType"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+class a<b> {
+  func
+    c<let d: b>()
+  {
+    #^^#
+  }
+}
diff --git a/validation-test/IDE/crashers/1a97a715994667ab.swift b/validation-test/IDE/crashers/1a97a715994667ab.swift
@@ -0,0 +1,9 @@
+// {"kind":"complete","original":"2d0bf5d7","signature":"swift::constraints::ConstraintSystem::getTypeOfReferencePre(swift::constraints::OverloadChoice, swift::DeclContext*, swift::constraints::ConstraintLocatorBuilder, swift::constraints::PreparedOverloadBuilder*)","signatureAssert":"Assertion failed: (!valueType->hasUnboundGenericType() && !valueType->hasTypeParameter()), function getTypeOfReferencePre"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+{ (a: Dictionary) in
+  #^^#
+  let b = a {
+    b
+  }
+  let b
+}
diff --git a/validation-test/IDE/crashers/1c86dd91fb8483fc.swift b/validation-test/IDE/crashers/1c86dd91fb8483fc.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"070481b6","signature":"swift::Mangle::ASTMangler::appendEntity(swift::ValueDecl const*)","signatureAssert":"Assertion failed: (!isa<ConstructorDecl>(decl)), function appendEntity"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@abi( init () ) func a
+#^^#()
diff --git a/validation-test/IDE/crashers/1e4621d80984121a.swift b/validation-test/IDE/crashers/1e4621d80984121a.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"3a52f860","signature":"swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension Sequence where a == b [ { func c { map#^^#
diff --git a/validation-test/IDE/crashers/32fa0d633e8df376.swift b/validation-test/IDE/crashers/32fa0d633e8df376.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"95ab8e45","signature":"(anonymous namespace)::TypeResolver::resolveVarargType(swift::VarargTypeRepr*, swift::TypeResolutionOptions)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a<b
+  protocol c: a<Self
+... >#^^#
diff --git a/validation-test/IDE/crashers/39b75bd7c88ae4eb.swift b/validation-test/IDE/crashers/39b75bd7c88ae4eb.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"2b4a2fce","signature":"swift::constraints::ConstraintSystem::setClosureType(swift::ClosureExpr const*, swift::FunctionType*)","signatureAssert":"Assertion failed: (type), function setClosureType"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+a(
+  #^^# {
+    ( ()) in
diff --git a/validation-test/IDE/crashers/39e1947ce3bd2206.swift b/validation-test/IDE/crashers/39e1947ce3bd2206.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"2e29372e","signature":"swift::FragileFunctionKindRequest::evaluate(swift::Evaluator&, swift::DeclContext*) const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+if {case ( = { enum a {
+#^^#
diff --git a/validation-test/IDE/crashers/43a52bf91ab5d2ee.swift b/validation-test/IDE/crashers/43a52bf91ab5d2ee.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"2c0990ef","signature":"swift::TypeDecl::getName() const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension {
+  a = b [ c [ #^^#
diff --git a/validation-test/IDE/crashers/724e28836dc20ecb.swift b/validation-test/IDE/crashers/724e28836dc20ecb.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","original":"b09ce71a","signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const","signatureAssert":"Assertion failed: (ctx.Diags.hadAnyError()), function evaluate","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s
+struct a<b
+extension a where b == {struct c {
+@d#^^#({ #^e^#}
+var f }
+@propertyWrapper
+class d
diff --git a/validation-test/IDE/crashers/7621907bdc5958a6.swift b/validation-test/IDE/crashers/7621907bdc5958a6.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","original":"526e79b6","signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)","signatureAssert":"Assertion failed: (Ctx.hadError()), function visitCustomAttr","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s
+#^^#
+typealias a = . struct b {
+#^c^#@a
+var d =
diff --git a/validation-test/IDE/crashers/7b92bb701b89b249.swift b/validation-test/IDE/crashers/7b92bb701b89b249.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"0bdbc8ea","signature":"swift::Parser::parseExprSelector()","signatureAssert":"Assertion failed: (getPtrOrNull() && \"not checked for nullptr\"), function get"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+#selector(a throws  #^^#
diff --git a/validation-test/IDE/crashers/87443a182257da1e.swift b/validation-test/IDE/crashers/87443a182257da1e.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"bf3927a1","signature":"swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*)","signatureAssert":"Assertion failed: (isValid() && \"Can't advance an invalid location\"), function getAdvancedLoc"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+postfix operator %%
+postfix func % (a)
+func b c b #^^#
diff --git a/validation-test/IDE/crashers/88987db0d0dc470c.swift b/validation-test/IDE/crashers/88987db0d0dc470c.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"092969d1","signature":"swift::ide::IDEInspectionInstance::performCachedOperationIfPossible(llvm::hash_code, llvm::IntrusiveRefCntPtr<llvm::vfs::FileSystem>, swift::SearchPathOptions const&, llvm::MemoryBuffer*, unsigned int, swift::DiagnosticConsumer*, std::__1::shared_ptr<std::__1::atomic<bool>>, llvm::function_ref<void (swift::ide::CancellableResult<swift::ide::IDEInspectionInstanceResult>)>)","signatureAssert":"Assertion failed: (reparsedInfo.Kind == newInfo.Kind), function performCachedOperationIfPossible","useSourceOrderCompletion":true}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s
+#^^# @
+#^a^# b
diff --git a/validation-test/IDE/crashers/974abc9e171ad368.swift b/validation-test/IDE/crashers/974abc9e171ad368.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"e6459edc","signature":"swift::TypeChecker::typeCheckStmtConditionElement(swift::StmtConditionElement&, bool&, swift::DeclContext*)","signatureAssert":"Assertion failed: (!E->getType() && \"the bool condition is already type checked\"), function typeCheckBooleanStmtConditionElement"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+(if) {}#^^#
diff --git a/validation-test/IDE/crashers/99e962b241f1d25b.swift b/validation-test/IDE/crashers/99e962b241f1d25b.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"10b7f522","signature":"swift::TypeRepr::print(swift::ASTPrinter&, swift::PrintOptions const&, swift::optionset::OptionSet<swift::NonRecursivePrintOption, unsigned int>) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+if{ extension{ a{ #^^##^b^#
diff --git a/validation-test/IDE/crashers/9fefcf40293db48f.swift b/validation-test/IDE/crashers/9fefcf40293db48f.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","original":"2ab8a74a","signature":"swift::TypeDecl::getName() const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension {
+  subscript -> a {
+    @
+    #^^#
diff --git a/validation-test/IDE/crashers/ab3972c8c6c1b5d6.swift b/validation-test/IDE/crashers/ab3972c8c6c1b5d6.swift
@@ -0,0 +1,6 @@
+// {"kind":"complete","original":"5070984e","signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const","signatureAssert":"Assertion failed: ((range.isValid()) && \"scope has invalid source range\"), function getCharSourceRangeOfScope"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@a var b {
+  @#^^#< #declaration
+  #>
+}
diff --git a/validation-test/IDE/crashers/ae7830cc768ad130.swift b/validation-test/IDE/crashers/ae7830cc768ad130.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","original":"0715e0e8","signature":"swift::Decl::getSemanticAvailableAttr(swift::AvailableAttr const*) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+class a {
+  @available(*, renamed: "request0")
+  !
+  b ,() {}
+}
+#^^#
diff --git a/validation-test/IDE/crashers/b74734c97bb09b60.swift b/validation-test/IDE/crashers/b74734c97bb09b60.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"0cd48ae7","signature":"swift::TypeBase::getReducedShape()","signatureAssert":"Assertion failed: (!isTypeVariableOrMember()), function getReducedShape"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a<each b { c: (repeat each b )! { c #^^#
diff --git a/validation-test/IDE/crashers/bc178c6fbc3ad18e.swift b/validation-test/IDE/crashers/bc178c6fbc3ad18e.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"3946e52f","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&)","signatureAssert":"Assertion failed: (false && \"Should be exhaustive\"), function checkForPotentialCycle"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a : RandomAccessCollection { class endIndex { b -> Element #^^#
diff --git a/validation-test/IDE/crashers/d500691bf5d28bbc.swift b/validation-test/IDE/crashers/d500691bf5d28bbc.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","original":"44c76fac","signature":"bool (anonymous namespace)::StmtChecker::typeCheckStmt<swift::Stmt>(swift::Stmt*&)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a where b == <#type#>[ {
+  func c() -> Self {
+    #^^#
+  }
+}
diff --git a/validation-test/IDE/crashers/e52359b2767fa879.swift b/validation-test/IDE/crashers/e52359b2767fa879.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","original":"108dc1e5","signature":"swift::TypeDecl::getName() const","signatureAssert":"Assertion failed: (Index < Length && \"Invalid index!\"), function operator[]"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension {
+a {
+  typealias b = ()?
+  let c = b?? ()
+  #^^#
diff --git a/validation-test/IDE/crashers/eaf1c77e3b7e20c6.swift b/validation-test/IDE/crashers/eaf1c77e3b7e20c6.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"2aa5adcf","signature":"swift::GenericContext::getGenericSignature() const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a<b> : Collection }
+a.Iterator.c #^^#
diff --git a/validation-test/IDE/crashers_fixed/a1e970213e6f919d.swift b/validation-test/IDE/crashers_fixed/a1e970213e6f919d.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","original":"158bd92d","signature":"swift::TypeTransform<swift::Type::transformRec(llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*)>) const::Transform>::doIt(swift::Type, swift::TypePosition)"}
+// RUN: %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a<b > : c protocol d { associatedtype b }
+protocol c: d where b: e protocol f { associatedtype g: d associatedtype b}
+protocol h: f where g == a<b> protocol i : f protocol e { associatedtype j: i
+#^^#
+associatedtype k: h where k.b == j.b
diff --git a/validation-test/compiler_crashers_2/07e13fbf04cabfe9.swift b/validation-test/compiler_crashers_2/07e13fbf04cabfe9.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"0052e8e2","signature":"swift::constraints::Solution::getFunctionArgApplyInfo(swift::constraints::ConstraintLocator*) const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+& &<##>
diff --git a/validation-test/compiler_crashers_2/0e9a3e1eacb8f98e.swift b/validation-test/compiler_crashers_2/0e9a3e1eacb8f98e.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","original":"cbf69c52","signature":"swift::constraints::SolverTrail::~SolverTrail()","signatureAssert":"Assertion failed: (Changes.empty() && \"Trail corrupted\"), function ~SolverTrail"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a<b> {
+  init(wrappedValue: a)
+  var wrappedValue: b
+}
+struct c {
+  @a @a var d: Int = 2
+}
diff --git a/validation-test/compiler_crashers_2/13d9ae996c92be12.swift b/validation-test/compiler_crashers_2/13d9ae996c92be12.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","original":"369523c9","signature":"swift::InFlightSubstitution::substType(swift::SubstitutableType*, unsigned int)","signatureAssert":"Assertion failed: (Ptr && \"Cannot dereference a null Type!\"), function operator->"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+  typealias b<c, d> = a
+  extension b<Float, Int> {
+    extension b {
+    }
+  }
+}
diff --git a/validation-test/compiler_crashers_2/1e0e4ce6cf612c7b.swift b/validation-test/compiler_crashers_2/1e0e4ce6cf612c7b.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"checkRequirementsImpl(llvm::ArrayRef<swift::Requirement>, bool)","signatureAssert":"Assertion failed: (!firstType->hasTypeVariable()), function checkRequirementsImpl"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<b: ~Copyable
+  extension a: Copyable where b: Copyable
+    let c  (a -> d
diff --git a/validation-test/compiler_crashers_2/254cc6af0002dea1.swift b/validation-test/compiler_crashers_2/254cc6af0002dea1.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"ce7c1d7b","signature":"matchCallArguments(swift::constraints::ConstraintSystem&, swift::FunctionType*, swift::ArgumentList*, llvm::ArrayRef<swift::AnyFunctionType::Param>, llvm::ArrayRef<swift::AnyFunctionType::Param>, swift::constraints::ConstraintKind, swift::constraints::ConstraintLocatorBuilder, std::__1::optional<swift::constraints::TrailingClosureMatching>, llvm::SmallVectorImpl<std::__1::pair<swift::TypeVariableType*, swift::ExistentialArchetypeType*>>&)","signatureAssert":"Assertion failed: (param), function matchCallArguments"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b>(c: (repeat each b) -> Void) {
+  c($c: d)
+}
diff --git a/validation-test/compiler_crashers_2/298b1482f76558b1.swift b/validation-test/compiler_crashers_2/298b1482f76558b1.swift
@@ -0,0 +1,9 @@
+// {"kind":"typecheck","original":"06d6e891","signature":"(anonymous namespace)::ExprRewriter::coerceToType(swift::Expr*, swift::Type, swift::constraints::ConstraintLocatorBuilder)","signatureAssert":"Assertion failed: (toType && !toType->hasError() && !toType->hasTypeVariableOrPlaceholder()), function coerceToType"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<b {
+  @propertyWrapper struct f<b {
+    wrappedValue : b    var projectedValue: a<b>  init(projectedValue:
+  }
+    c(@f arg: Int)
+  func d(e: a<Int>) {
+    c($arg: e
diff --git a/validation-test/compiler_crashers_2/3e3dd6a23227714f.swift b/validation-test/compiler_crashers_2/3e3dd6a23227714f.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"1e8c9260","signature":"(anonymous namespace)::ExprWalker::walkToExprPost(swift::Expr*)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a {
+callAsFunction {
+\a()
diff --git a/validation-test/compiler_crashers_2/43f7a6012f6a255a.swift b/validation-test/compiler_crashers_2/43f7a6012f6a255a.swift
@@ -0,0 +1,7 @@
+// {"kind":"emit-ir","original":"493cc9db","signature":"(anonymous namespace)::TypeContextDescriptorBuilderBase<(anonymous namespace)::StructContextDescriptorBuilder, swift::StructDecl>::emit()"}
+// RUN: not --crash %target-swift-frontend -emit-ir %s
+class a<b> {
+}
+@available(SwiftStdlib 6.2, *)
+struct c<let d: a<e>, e> {
+}
diff --git a/validation-test/compiler_crashers_2/45fab60ba6296372.swift b/validation-test/compiler_crashers_2/45fab60ba6296372.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"d550fd71","signature":"diagSyntacticUseRestrictions(swift::Expr const*, swift::DeclContext const*, bool)::DiagnoseWalker::walkToExprPre(swift::Expr*)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @<#type#>
+  #a([
+    &(b = 0)
+  ])
+}
diff --git a/validation-test/compiler_crashers_2/50b7d05928ee8b0e.swift b/validation-test/compiler_crashers_2/50b7d05928ee8b0e.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"7f0c85e8","signature":"diagSyntacticUseRestrictions(swift::Expr const*, swift::DeclContext const*, bool)::DiagnoseWalker::walkToExprPre(swift::Expr*)","signatureAssert":"Assertion failed: (Ptr && \"Cannot dereference a null Type!\"), function operator->"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+class a<b, c>: ExpressibleByDictionaryLiteral {
+  typealias Key = b
+  typealias Value = c
+  func d<b, c>(a    <b, c>) {
+    {
+      d(["": 2
diff --git a/validation-test/compiler_crashers_2/56777ed1a15575c4.swift b/validation-test/compiler_crashers_2/56777ed1a15575c4.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"bb182de2","signature":"swift::constraints::ConstraintSystem::simplifyKeyPathConstraint(swift::Type, swift::Type, swift::Type, llvm::ArrayRef<swift::TypeVariableType*>, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder)","signatureAssert":"Assertion failed: (contextualRootTy && contextualValueTy), function operator()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a < each b > {
+  var
+    c : (repeat each b) {
+      (repeat \ .)
+  }
+}
diff --git a/validation-test/compiler_crashers_2/6e4c01d8fc888909.swift b/validation-test/compiler_crashers_2/6e4c01d8fc888909.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"58cef9f3","signature":"swift::Parser::parseTypeInlineArray(swift::SourceLoc)","signatureAssert":"Assertion failed: (getPtrOrNull() && \"not checked for nullptr\"), function get"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+[[3] of
diff --git a/validation-test/compiler_crashers_2/7498c8f669ed545b.swift b/validation-test/compiler_crashers_2/7498c8f669ed545b.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"18b55723","signature":"swift::constraints::Solution::getFunctionArgApplyInfo(swift::constraints::ConstraintLocator*) const","signatureAssert":"Assertion failed: (Val && \"isa<> used on a null pointer\"), function doit"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+// REQUIRES: OS=macosx
+import Foundation
+func a( CGFloat,  CGFloat?)
+a((1.0: (
diff --git a/validation-test/compiler_crashers_2/8bd36ffa67067b41.swift b/validation-test/compiler_crashers_2/8bd36ffa67067b41.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"07ee747b","signature":"swift::Type llvm::function_ref<swift::Type (swift::SubstitutableType*)>::callback_fn<swift::GenericEnvironment::mapElementTypeIntoPackContext(swift::Type) const::$_0>(long, swift::SubstitutableType*)","signatureAssert":"Assertion failed: (!elementEnv || elementEnv == archetype->getGenericEnvironment()), function operator()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b>(c: (repeat each b) -> Void) -> (repeat each b) {
+  { before, each in
+    c(repeat before
+    repeat each
diff --git a/validation-test/compiler_crashers_2/9010fe24c9dc7272.swift b/validation-test/compiler_crashers_2/9010fe24c9dc7272.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","original":"1c912312","signature":"(anonymous namespace)::ExprRewriter::coerceCallArguments(swift::ArgumentList*, swift::AnyFunctionType*, swift::ConcreteDeclRef, swift::ApplyExpr*, swift::constraints::ConstraintLocatorBuilder, llvm::ArrayRef<swift::AppliedPropertyWrapper>)","signatureAssert":"Assertion failed: (!param.isInOut()), function coerceCallArguments"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a(  inout UnsafeMutableRawPointer...)
+a(
diff --git a/validation-test/compiler_crashers_2/922c2062e63d9bad.swift b/validation-test/compiler_crashers_2/922c2062e63d9bad.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"65735e17","signature":"swift::Decl::getResolvedCustomAttrType(swift::CustomAttr*) const","signatureAssert":"Assertion failed: (!canType->hasUnboundGenericType()), function computeInvertibleConformances"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a<b
+  struct c {
+    @a    ...var d
diff --git a/validation-test/compiler_crashers_2/963e71d8d54aa379.swift b/validation-test/compiler_crashers_2/963e71d8d54aa379.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","original":"e51afbca","signature":"swift::constraints::ConstraintSystem::diagnoseAmbiguityWithFixes(llvm::SmallVectorImpl<swift::constraints::Solution>&)","signatureAssert":"Assertion failed: (!empty()), function front"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a throw withThrowingTaskGroup(of : a) {
+b in
diff --git a/validation-test/compiler_crashers_2/a23d151072660954.swift b/validation-test/compiler_crashers_2/a23d151072660954.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","signature":"checkRequirementsImpl(llvm::ArrayRef<swift::Requirement>, bool)","signatureAssert":"Assertion failed: (!firstType->hasTypeVariable()), function checkRequirementsImpl"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<b: ~Copyable
+  extension a: Copyable where b: Copyable
+    let c =  <#T##(a -> d)#>
diff --git a/validation-test/compiler_crashers_2/a4aba8624dca192d.swift b/validation-test/compiler_crashers_2/a4aba8624dca192d.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"c03f63d6","signature":"swift::TypeChecker::typeCheckParameterDefault(swift::Expr*&, swift::DeclContext*, swift::Type, bool, bool)"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<each b, each c>(repeat each b -> each c = {
diff --git a/validation-test/compiler_crashers_2/a8ea3386fbf9c28e.swift b/validation-test/compiler_crashers_2/a8ea3386fbf9c28e.swift
diff --git a/validation-test/compiler_crashers_2/b9f0fa4bd40b5ec8.swift b/validation-test/compiler_crashers_2/b9f0fa4bd40b5ec8.swift
diff --git a/validation-test/compiler_crashers_2/c2a5da313080f9bb.swift b/validation-test/compiler_crashers_2/c2a5da313080f9bb.swift
diff --git a/validation-test/compiler_crashers_2/eb83d35f4efc1200.swift b/validation-test/compiler_crashers_2/eb83d35f4efc1200.swift
diff --git a/validation-test/compiler_crashers_2/ef678247b5bec562.swift b/validation-test/compiler_crashers_2/ef678247b5bec562.swift
diff --git a/validation-test/compiler_crashers_2/f795c2f5f8d23312.swift b/validation-test/compiler_crashers_2/f795c2f5f8d23312.swift
diff --git a/validation-test/compiler_crashers_2/ff596376e8eadba5.swift b/validation-test/compiler_crashers_2/ff596376e8eadba5.swift
diff --git a/validation-test/compiler_crashers_2/ffec68ff0b7c2e5a.swift b/validation-test/compiler_crashers_2/ffec68ff0b7c2e5a.swift
diff --git a/validation-test/compiler_crashers_2_fixed/8879748097cd16db.swift b/validation-test/compiler_crashers_2_fixed/8879748097cd16db.swift

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"002a4f4b","signature":"swift::PrintingDiagnosticConsumer::printDiagnostic(swift::SourceManager&, swift::DiagnosticInfo const&)","signatureAssert":"Assertion failed: ((size_t)sys::locale::columnWidth(Fixit.getText()) == Fixit.getText().size()), function buildFixItLine"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+func b<c where #^^# == <#type#>>(a: <#type#>)`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"3a52f860","signature":"swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr, swift::DeclContext)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+extension Sequence where a == b [ { func c { map#^^#`