Merge pull request #85537 from hamishknight/fuzzy

hamishknight · web-flow · commit c3374464645a · 2025-11-17T18:17:07.000Z
[test] Add some more known crashers
diff --git a/validation-test/IDE/crashers/CodeCompletionCallbacksImpl-typecheckParsedType-571e84.swift b/validation-test/IDE/crashers/CodeCompletionCallbacksImpl-typecheckParsedType-571e84.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"00fc7609","signature":"(anonymous namespace)::CodeCompletionCallbacksImpl::typecheckParsedType()","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoEnvironment"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+protocol a:Self#^^#
diff --git a/validation-test/IDE/crashers/CompletionLookup-foundDecl-b8e9b2.swift b/validation-test/IDE/crashers/CompletionLookup-foundDecl-b8e9b2.swift
@@ -0,0 +1,5 @@
+// {"kind":"complete","original":"0435fa64","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 mapTypeIntoEnvironment"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+extension Sequence where a == <#type#>[ {
+  #^^#
+}
diff --git a/validation-test/IDE/crashers/ConformanceChecker-recordWitness-1f12cf.swift b/validation-test/IDE/crashers/ConformanceChecker-recordWitness-1f12cf.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::resolveWitnessViaLookup(swift::ValueDecl*)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}
+// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::recordWitness(swift::ValueDecl*, swift::RequirementMatch const&)","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/ConstraintGenerator-visitTapExpr-bdb91a.swift b/validation-test/IDE/crashers/ConstraintGenerator-visitTapExpr-bdb91a.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"bcb7c8c1","signature":"(anonymous namespace)::ConstraintGenerator::visitTapExpr(swift::TapExpr*)","signatureAssert":"Assertion failed: ((varDC == CS.DC || isa<AbstractClosureExpr>(varDC) || varDC->isChildContextOf(CS.DC)) && \"TapExpr var should be in the same DeclContext we're checking it in!\"), function visitTapExpr"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+func a -> @b("\()." #^^#
diff --git a/validation-test/IDE/crashers/DeclContext-getDeclaredTypeInContext-dffa2c.swift b/validation-test/IDE/crashers/DeclContext-getDeclaredTypeInContext-dffa2c.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredInterfaceType() const","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredTypeInContext() const"}
 // 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() -> #^^#
diff --git a/validation-test/IDE/crashers/TypeChecker-typeCheckCondition-974abc.swift b/validation-test/IDE/crashers/TypeChecker-typeCheckCondition-974abc.swift
@@ -0,0 +1,3 @@
+// {"kind":"complete","original":"e6459edc","signature":"swift::TypeChecker::typeCheckCondition(swift::Expr*&, swift::DeclContext*)","signatureAssert":"Assertion failed: (!expr->getType() && \"the bool condition is already type checked\"), function typeCheckCondition"}
+// 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/TypeChecker-typeCheckStmtConditionElement-974abc.swift b/validation-test/IDE/crashers/TypeChecker-typeCheckStmtConditionElement-974abc.swift
diff --git a/validation-test/IDE/crashers/TypeResolution-resolveContextualType-1d60f3.swift b/validation-test/IDE/crashers/TypeResolution-resolveContextualType-1d60f3.swift
@@ -0,0 +1,4 @@
+// {"kind":"complete","original":"d73870ca","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*)>, llvm::function_ref<void (swift::GenericTypeDecl*, llvm::function_ref<swift::Type (swift::SubstitutableType*)>)>, swift::SILTypeResolutionContext*)","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoEnvironment"}
+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
+@ a(b
+#^^# struct c<b
diff --git a/validation-test/compiler_crashers/ASTScopeImpl-addChild-e4b31d.swift b/validation-test/compiler_crashers/ASTScopeImpl-addChild-e4b31d.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::checkSourceRangeBeforeAddingChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext const&) const"}
+// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::addChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext&)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 {
   let a,
diff --git a/validation-test/compiler_crashers/AbstractStorageDecl-mutability-98fb6d.swift b/validation-test/compiler_crashers/AbstractStorageDecl-mutability-98fb6d.swift
diff --git a/validation-test/compiler_crashers/AvailabilityContext-forDeclSignature-6cbf07.swift b/validation-test/compiler_crashers/AvailabilityContext-forDeclSignature-6cbf07.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","signature":"swift::AvailabilityContext::forDeclSignature(swift::Decl 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/ConstraintGraph-computeConnectedComponents-37d275.swift b/validation-test/compiler_crashers/ConstraintGraph-computeConnectedComponents-37d275.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","original":"1d97bdbd","signature":"swift::constraints::ConstraintGraph::computeConnectedComponents(llvm::ArrayRef<swift::TypeVariableType*>)","signatureAssert":"Assertion failed: (component != components.end()), function operator()"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+let i =... a { " ? \(i Array* )" [
diff --git a/validation-test/compiler_crashers/Decl-getLoc-6cbf07.swift b/validation-test/compiler_crashers/Decl-getLoc-6cbf07.swift
diff --git a/validation-test/compiler_crashers/Expr-canAppendPostfixExpression-7e19cb.swift b/validation-test/compiler_crashers/Expr-canAppendPostfixExpression-7e19cb.swift
@@ -0,0 +1,3 @@
+// {"kind":"typecheck","signature":"swift::Expr::canAppendPostfixExpression(bool) const","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+struct a<let b: Int?{ int: Int { b
diff --git a/validation-test/compiler_crashers/ExprRewriter-visitPackExpansionExpr-e056c8.swift b/validation-test/compiler_crashers/ExprRewriter-visitPackExpansionExpr-e056c8.swift
@@ -0,0 +1,5 @@
+// {"kind":"typecheck","original":"ee11d1cb","signature":"(anonymous namespace)::ExprRewriter::visitPackExpansionExpr(swift::PackExpansionExpr*)","signatureAssert":"Assertion failed: (environment), function visitPackExpansionExpr"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+{
+  repeat [each $0]
+}
diff --git a/validation-test/compiler_crashers/MissingOptionalUnwrapFailure-offerForceUnwrapFixIt-7e19cb.swift b/validation-test/compiler_crashers/MissingOptionalUnwrapFailure-offerForceUnwrapFixIt-7e19cb.swift
diff --git a/validation-test/compiler_crashers/PropertyWrapperAuxiliaryVariablesRequest-evaluate-98fb6d.swift b/validation-test/compiler_crashers/PropertyWrapperAuxiliaryVariablesRequest-evaluate-98fb6d.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","signature":"swift::PropertyWrapperAuxiliaryVariablesRequest::evaluate(swift::Evaluator&, swift::VarDecl*) const"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+@propertyWrapper struct a {
+  @a $b:
diff --git a/validation-test/compiler_crashers/SILGenBuilder-createEnum-845e70.swift b/validation-test/compiler_crashers/SILGenBuilder-createEnum-845e70.swift
@@ -0,0 +1,3 @@
+// {"kind":"emit-silgen","original":"7b4a72a9","signature":"swift::Lowering::SILGenBuilder::createEnum(swift::SILLocation, swift::Lowering::ManagedValue, swift::EnumElementDecl*, swift::SILType)","signatureAssert":"Assertion failed: (v->getType().isObject()), function operator()"}
+// RUN: not --crash %target-swift-frontend -emit-silgen %s
+var a: Any = ["": [a]] as [String: [AnyObject?]]
diff --git a/validation-test/compiler_crashers/SameTypeRequirementFailure-SameTypeRequirementFailure-438c8a.swift b/validation-test/compiler_crashers/SameTypeRequirementFailure-SameTypeRequirementFailure-438c8a.swift
diff --git a/validation-test/compiler_crashers/SkipSameTypeRequirement-diagnose-438c8a.swift b/validation-test/compiler_crashers/SkipSameTypeRequirement-diagnose-438c8a.swift
@@ -0,0 +1,4 @@
+// {"kind":"typecheck","signature":"swift::constraints::SkipSameTypeRequirement::diagnose(swift::constraints::Solution const&, bool) const","signatureAssert":"Assertion failed: (getGenericContext() && \"Affected decl not within a generic context?\"), function RequirementFailure"}
+// RUN: not --crash %target-swift-frontend -typecheck %s
+protocol a struct b extension Dictionary : a where Value == let func !c {
+  let d : [Int:b] let : a = d
diff --git a/validation-test/compiler_crashers/Solution-getFunctionArgApplyInfo-2d64ed.swift b/validation-test/compiler_crashers/Solution-getFunctionArgApplyInfo-2d64ed.swift
@@ -0,0 +1,6 @@
+// {"kind":"typecheck","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
+struct a {
+    callAsFunction( ())
+  {
+    a {
diff --git a/validation-test/compiler_crashers/TypeJoin-visitProtocolCompositionType-79ac90.swift b/validation-test/compiler_crashers/TypeJoin-visitProtocolCompositionType-79ac90.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"(anonymous namespace)::TypeJoin::join(swift::CanType, swift::CanType)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// {"kind":"typecheck","signature":"(anonymous namespace)::TypeJoin::visitProtocolCompositionType(swift::CanType)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
 // 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/getSILValueOwnership-845e70.swift b/validation-test/compiler_crashers/getSILValueOwnership-845e70.swift

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"00fc7609","signature":"(anonymous namespace)::CodeCompletionCallbacksImpl::typecheckParsedType()","signatureAssert":"Assertion failed: (!type->hasTypeParameter() && \"no generic environment provided for type with type parameters\"), function mapTypeIntoEnvironment"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+protocol a:Self#^^#`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::resolveWitnessViaLookup(swift::ValueDecl*)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}`
	`1`	`+// {"kind":"complete","original":"0116e8cd","signature":"swift::ConformanceChecker::recordWitness(swift::ValueDecl*, swift::RequirementMatch const&)","signatureAssert":"Assertion failed: (Conformance->getWitnessUncached(requirement).getDecl() == match.Witness && \"Deduced different witnesses?\"), function recordWitness"}`
`2`	`2`	`// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
`3`	`3`	`struct a: OptionSet {`
`4`	`4`	`static rawValue = a init(rawValue: Int ) {`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"bcb7c8c1","signature":"(anonymous namespace)::ConstraintGenerator::visitTapExpr(swift::TapExpr*)","signatureAssert":"Assertion failed: ((varDC == CS.DC \|\| isa<AbstractClosureExpr>(varDC) \|\| varDC->isChildContextOf(CS.DC)) && \"TapExpr var should be in the same DeclContext we're checking it in!\"), function visitTapExpr"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+func a -> @b("\()." #^^#`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredInterfaceType() const","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}`
	`1`	`+// {"kind":"complete","original":"7f4bcc9e","signature":"swift::DeclContext::getDeclaredTypeInContext() const"}`
`2`	`2`	`// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
`3`	`3`	`extension Sequence where a == b[ {`
`4`	`4`	`func c() -> #^^#`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// {"kind":"complete","original":"e6459edc","signature":"swift::TypeChecker::typeCheckCondition(swift::Expr&, swift::DeclContext)","signatureAssert":"Assertion failed: (!expr->getType() && \"the bool condition is already type checked\"), function typeCheckCondition"}`
	`2`	`+// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s`
	`3`	`+(if) {}#^^#`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::checkSourceRangeBeforeAddingChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext const&) const"}`
	`1`	`+// {"kind":"typecheck","original":"cb3e622a","signature":"swift::ast_scope::ASTScopeImpl::addChild(swift::ast_scope::ASTScopeImpl*, swift::ASTContext&)"}`
`2`	`2`	`// RUN: not --crash %target-swift-frontend -typecheck %s`
`3`	`3`	`{`
`4`	`4`	`let a,`