Merge pull request swiftlang#83509 from hamishknight/fuzzy

hamishknight · web-flow · commit 7768d546f4d2 · 2025-08-04T09:53:59.000+01:00
[test] Add some more known crashers
diff --git a/validation-test/IDE/crashers/1f12cff3151ffdf.swift b/validation-test/IDE/crashers/1f12cff3151ffdf.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::resolveWitnessViaLookup(swift::ValueDecl*)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+struct a: OptionSet {
+  static rawValue = a init(rawValue: Int ) {
+    #^^#
+  }
+}
diff --git a/validation-test/IDE/crashers/276e1958e5b2f36f.swift b/validation-test/IDE/crashers/276e1958e5b2f36f.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"14893775","signature":"swift::TypeResolution::resolveContextualType(swift::TypeRepr*, swift::DeclContext*, swift::GenericSignature, swift::TypeResolutionOptions, llvm::function_ref<swift::Type (swift::UnboundGenericType*)>, llvm::function_ref<swift::Type (swift::ASTContext&, swift::PlaceholderTypeRepr*)>, llvm::function_ref<swift::Type (swift::Type, swift::PackElementTypeRepr*)>, swift::SILTypeResolutionContext*)","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
+@a(
+  #^^#) func b<a>()
diff --git a/validation-test/IDE/crashers/2f87241457a28443.swift b/validation-test/IDE/crashers/2f87241457a28443.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"1615843d","signature":"(anonymous namespace)::TypePrinter::printParentType(swift::Type)","signatureAssert":"Assertion failed: (!hasTypeParameter() && \"already have an interface type\"), function mapTypeOutOfContext"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+class a<b class c<b , e : a<b>> { class d let builder = d#^^#
diff --git a/validation-test/IDE/crashers/47f8163fc7f6dd32.swift b/validation-test/IDE/crashers/47f8163fc7f6dd32.swift
@@ -0,0 +1,8 @@
+// {"kind":"complete","original":"029049d6","signature":"swift::ide::CompletionLookup::foundDecl(swift::ValueDecl*, swift::DeclVisibilityKind, swift::DynamicLookupInfo)","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 c<d {
+  var : {
+    protocol a {
+      struct e {
+    b {
+      #^^#
diff --git a/validation-test/IDE/crashers/4b1d9718b7b1335a.swift b/validation-test/IDE/crashers/4b1d9718b7b1335a.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"773d9dd1","signature":"swift::ProtocolConformance::getTypeWitnessAndDecl(swift::AssociatedTypeDecl*, swift::SubstOptions) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@_marker protocol a {
+  b:
+  #^^#  typealias  5
diff --git a/validation-test/IDE/crashers/6ac15e9391fc736.swift b/validation-test/IDE/crashers/6ac15e9391fc736.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"4be98c4c","signature":"swift::Parser::consumeDecl(swift::ParserPosition, bool)","signatureAssert":"Assertion failed: (!IDEInspectionDelayedDeclStat.get() && \"only one decl can be delayed for code completion\"), function setIDEInspectionDelayedDeclState"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+case /if { class a{ #^^#<#expression#>
diff --git a/validation-test/IDE/crashers/76eec4988cb5a61d.swift b/validation-test/IDE/crashers/76eec4988cb5a61d.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"1bd67425","signature":"swift::diagnoseMissingOwnership(swift::ParamSpecifier, swift::TypeRepr*, swift::Type, swift::TypeResolution const&)","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
+@a(0#^^#-> b->func > <b
diff --git a/validation-test/IDE/crashers/7d9bfa9d17f09896.swift b/validation-test/IDE/crashers/7d9bfa9d17f09896.swift
@@ -0,0 +1,7 @@
+// {"kind":"complete","original":"831da109","signature":"void llvm::function_ref<void (swift::VarDecl*)>::callback_fn<swift::ast_scope::ASTScopeImpl::lookupLocalBindingsInPattern(swift::Pattern const*, swift::namelookup::AbstractASTScopeDeclConsumer&)::$_0>(long, swift::VarDecl*)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+{
+  @abi(func & ()) var a {
+    #^^#
+  }
+}
diff --git a/validation-test/IDE/crashers/93646f99f2e8498.swift b/validation-test/IDE/crashers/93646f99f2e8498.swift
@@ -0,0 +1,11 @@
+// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::requiresClass(swift::Type) const"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a {
+associatedtype b
+func c -> b
+struct d<e: Collection, f
+>: a
+where e.Element ==
+{
+c -> some a {
+self#^^#
diff --git a/validation-test/IDE/crashers/be524c3ba974631.swift b/validation-test/IDE/crashers/be524c3ba974631.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"1433c7e3","signature":"swift::ide::KeyPathTypeCheckCompletionCallback::sawSolutionImpl(swift::constraints::Solution const&)","signatureAssert":"Assertion failed: (ComponentIndex < KeyPath->getComponents().size() && \"Didn't find a code compleiton component?\"), function sawSolutionImpl"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+{ \a#^^# ? }
+<
diff --git a/validation-test/IDE/crashers/e7327cfd8bafcd86.swift b/validation-test/IDE/crashers/e7327cfd8bafcd86.swift
@@ -0,0 +1,10 @@
+// {"kind":"complete","original":"bc7ab9d8","signature":"swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl*, swift::FunctionRefInfo, swift::constraints::ConstraintLocatorBuilder, swift::DeclContext*, swift::constraints::PreparedOverloadBuilder*)","signatureAssert":"Assertion failed: (func->isOperator() && \"Lookup should only find operators\"), function getTypeOfReference"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+{
+  func a(query: String) {
+    {
+      "\(query)"
+      break #^^#
+    }
+  }
+}
diff --git a/validation-test/IDE/crashers/ee2e8624ac46fa.swift b/validation-test/IDE/crashers/ee2e8624ac46fa.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"0057cadb","signature":"(anonymous namespace)::CodeCompletionCallbacksImpl::typecheckParsedType()","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
+{class a<b where b#^^#
diff --git a/validation-test/compiler_crashers_2/545a0bc1537bba5.swift b/validation-test/compiler_crashers_2/545a0bc1537bba5.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","original":"54198387","signature":"swift::Expr* llvm::function_ref<swift::Expr* (swift::Expr*)>::callback_fn<fixMissingArguments(swift::constraints::ConstraintSystem&, swift::ASTNode, llvm::SmallVectorImpl<swift::AnyFunctionType::Param>&, llvm::ArrayRef<swift::AnyFunctionType::Param>, unsigned int, swift::constraints::ConstraintLocatorBuilder)::$_0>(long, swift::Expr*)","signatureAssert":"Assertion failed: (!baseName.isSpecial() && \"Can't retrieve the identifier of a special base name\"), function getBaseIdentifier"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+func a<b>(
+  c: (b, ()) -> b = {
+    $0.init
+  })
diff --git a/validation-test/compiler_crashers_2/662d87127147482.swift b/validation-test/compiler_crashers_2/662d87127147482.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"2e2249a5","signature":"swift::TypeBase::computeCanonicalType()","signatureAssert":"Assertion failed: (Result->isCanonical()), function computeCanonicalType"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+typealias a<b> = (
+>extension a where b ==  {
+c
diff --git a/validation-test/compiler_crashers_2/70de1cb82aa0937.swift b/validation-test/compiler_crashers_2/70de1cb82aa0937.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"0ca20e45","signature":"(anonymous namespace)::SyntacticElementSolutionApplication::apply()","signatureAssert":"Assertion failed: (!empty()), function back"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{ a -> Void! in
+} {
+}
diff --git a/validation-test/compiler_crashers_2/7565b5c58a59aef8.swift b/validation-test/compiler_crashers_2/7565b5c58a59aef8.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","original":"a290b075","signature":"(anonymous namespace)::ASTScopeDeclConsumerForLocalLookup::consume(llvm::ArrayRef<swift::ValueDecl*>, swift::NullablePtr<swift::DeclContext>)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  @abi(func & ) var a  (b
diff --git a/validation-test/compiler_crashers_2/760ddcfabb24e63.swift b/validation-test/compiler_crashers_2/760ddcfabb24e63.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"115aa383","signature":"swift::TypeChecker::lookupUnqualified(swift::DeclContext*, swift::DeclNameRef, swift::SourceLoc, swift::optionset::OptionSet<swift::NameLookupFlags, unsigned int>)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  struct b<c {
+    d    extension Never {
+      struct e {
+b {
+  d
diff --git a/validation-test/compiler_crashers_2/981bb1e42a9312c0.swift b/validation-test/compiler_crashers_2/981bb1e42a9312c0.swift
@@ -0,0 +1,11 @@
+// {"kind":"typecheck","original":"0639ef40","signature":"swift::constraints::ConstraintSystem::openGenericParameters(swift::DeclContext*, swift::GenericSignature, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>&, swift::constraints::ConstraintLocatorBuilder, swift::constraints::PreparedOverloadBuilder*)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoContext"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a {
+  struct b {
+      c<d
+    {
+      struct e<f
+        extension Never {
+          struct g {
+      body {
+        e
diff --git a/validation-test/compiler_crashers_2/db15a23c5f8aeff.swift b/validation-test/compiler_crashers_2/db15a23c5f8aeff.swift
@@ -0,0 +1,8 @@
+// {"kind":"typecheck","original":"36a5bbda","signature":"swift::SuperclassDeclRequest::diagnoseCycle(swift::DiagnosticEngine&) const","signatureAssert":"Assertion failed: (!ActiveDiagnostic && \"Already have an active diagnostic\"), function diagnose"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  class a: a {
+  }
+  if a {
+  }
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"1615843d","signature":"(anonymous namespace)::TypePrinter::printParentType(swift::Type)","signatureAssert":"Assertion failed: (!hasTypeParameter() && \"already have an interface type\"), function mapTypeOutOfContext"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+class a<b class c<b , e : a<b>> { class d let builder = d#^^#`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"4be98c4c","signature":"swift::Parser::consumeDecl(swift::ParserPosition, bool)","signatureAssert":"Assertion failed: (!IDEInspectionDelayedDeclStat.get() && \"only one decl can be delayed for code completion\"), function setIDEInspectionDelayedDeclState"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+case /if { class a{ #^^#<#expression#>`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"1bd67425","signature":"swift::diagnoseMissingOwnership(swift::ParamSpecifier, swift::TypeRepr*, swift::Type, swift::TypeResolution const&)","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`	`+@a(0#^^#-> b->func > <b`