[test] Update some crasher signatures

hamishknight · hamishknight · commit 109383a9ac38 · 2025-10-13T00:30:19.000+01:00
diff --git a/validation-test/IDE/crashers/10b243ac3f1f8d7b.swift b/validation-test/IDE/crashers/10b243ac3f1f8d7b.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","signature":"swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// {"kind":"complete","signature":"resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*, swift::optionset::OptionSet<swift::NameLookupFlags, unsigned int>)","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
 extension <#type#> {
   var
diff --git a/validation-test/IDE/crashers/1e4621d80984121a.swift b/validation-test/IDE/crashers/1e4621d80984121a.swift
@@ -1,3 +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"}
+// {"kind":"complete","original":"3a52f860","signature":"resolveDeclRefExpr(swift::UnresolvedDeclRefExpr*, swift::DeclContext*, 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-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/7621907bdc5958a6.swift b/validation-test/IDE/crashers/7621907bdc5958a6.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"526e79b6","signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)","signatureAssert":"Assertion failed: (Ctx.hadError()), function visitCustomAttr","useSourceOrderCompletion":true}
+// {"kind":"complete","original":"526e79b6","signature":"(anonymous namespace)::AttributeChecker::visitCustomAttr(swift::CustomAttr*)","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 {
diff --git a/validation-test/IDE/crashers/93646f990f2e8498.swift b/validation-test/IDE/crashers/93646f990f2e8498.swift
@@ -1,4 +1,4 @@
-// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::requiresClass(swift::Type) const"}
+// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) 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
diff --git a/validation-test/IDE/crashers/b702ab48c2f29a3a.swift b/validation-test/IDE/crashers/b702ab48c2f29a3a.swift
@@ -1,3 +1,3 @@
-// {"kind":"complete","signature":"swift::rewriting::RequirementMachine::lookupNestedType(swift::Type, swift::Identifier) const"}
+// {"kind":"complete","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 class a<b{ c { struct d<f where f.e#^COMPLETE^#
diff --git a/validation-test/IDE/crashers/dac2016ff43c557e.swift b/validation-test/IDE/crashers/dac2016ff43c557e.swift
@@ -1,3 +1,3 @@
-// {"kind":"complete","signature":"swift::FragileFunctionKindRequest::OutputType swift::Evaluator::getResultUncached<swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType swift::evaluateOrDefault<swift::FragileFunctionKindRequest>(swift::Evaluator&, swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType)::'lambda'()>(swift::FragileFunctionKindRequest const&, swift::FragileFunctionKindRequest::OutputType swift::evaluateOrDefault<swift::FragileFunctionKindRequest>(swift::Evaluator&, swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType)::'lambda'())","signatureAssert":"Assertion failed: (Val && \"isa<> used on a null pointer\"), function doit"}
+// {"kind":"complete","signature":"swift::FragileFunctionKindRequest::OutputType swift::Evaluator::getResultUncached<swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType swift::evaluateOrDefault<swift::FragileFunctionKindRequest>(swift::Evaluator&, swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType)::'lambda'()>(swift::FragileFunctionKindRequest const&, swift::FragileFunctionKindRequest::OutputType swift::evaluateOrDefault<swift::FragileFunctionKindRequest>(swift::Evaluator&, swift::FragileFunctionKindRequest, swift::FragileFunctionKindRequest::OutputType)::'lambda'())::'lambda'()::operator()() const","signatureAssert":"Assertion failed: (Val && \"isa<> used on a null pointer\"), function doit"}
 // RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
 case ( <#expression#>= { enum a : #^COMPLETE^#
diff --git a/validation-test/compiler_crashers_2/05e8f12d4126e38b.swift b/validation-test/compiler_crashers_2/05e8f12d4126e38b.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::CallerSideDefaultArgExprRequest::OutputType swift::Evaluator::getResultUncached<swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'()>(swift::CallerSideDefaultArgExprRequest const&, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'())"}
+// {"kind":"typecheck","signature":"swift::CallerSideDefaultArgExprRequest::OutputType swift::Evaluator::getResultUncached<swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'()>(swift::CallerSideDefaultArgExprRequest const&, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'())::'lambda'()::operator()() const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 func a (Int -> Int , Int =
 #sourceLocation5
diff --git a/validation-test/compiler_crashers_2/0634c65af0140195.swift b/validation-test/compiler_crashers_2/0634c65af0140195.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::PackType::getSingletonPackExpansion(swift::Type)","signatureAssert":"Assertion failed: (rootParameterPacks.size() >= 1), function getSingletonPackExpansion"}
+// {"kind":"typecheck","signature":"swift::constraints::Solution::computeSubstitutions(swift::NullablePtr<swift::ValueDecl>, swift::GenericSignature, swift::constraints::ConstraintLocator*) const","signatureAssert":"Assertion failed: (rootParameterPacks.size() >= 1), function getSingletonPackExpansion"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 class a func b < each c : a {
   b
diff --git a/validation-test/compiler_crashers_2/1801de8a256df48e.swift b/validation-test/compiler_crashers_2/1801de8a256df48e.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) const"}
+// {"kind":"typecheck","signature":"swift::rewriting::RequirementMachine::areReducedTypeParametersEqual(swift::Type, swift::Type) const"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 protocol a {
   typealias Index extension Collection where Self : a{b : Index} protocol a
diff --git a/validation-test/compiler_crashers_2/23dbe8bd740c095a.swift b/validation-test/compiler_crashers_2/23dbe8bd740c095a.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
+// {"kind":"typecheck","signature":"(anonymous namespace)::AttributeChecker::visitImplementsAttr(swift::ImplementsAttr*)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 protocol a { b }
 @_implements(a, b) typealias c =
diff --git a/validation-test/compiler_crashers_2/361c5acf488944d1.swift b/validation-test/compiler_crashers_2/361c5acf488944d1.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::InFlightSubstitution::substType(swift::SubstitutableType*, unsigned int)","signatureAssert":"Assertion failed: (!substEltType->is<PackExpansionType>() && \"substituted shape mismatch: expected a scalar component\"), function projectLaneFromPackType"}
+// {"kind":"typecheck","signature":"swift::InFlightSubstitution::projectLaneFromPackType(swift::Type, unsigned int)","signatureAssert":"Assertion failed: (!substEltType->is<PackExpansionType>() && \"substituted shape mismatch: expected a scalar component\"), function projectLaneFromPackType"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 typealias a<b, c, d> = () struct e < each b {
   typealias f<each c, d> = (repeat a<each b, each c, d>)struct g < each c {
diff --git a/validation-test/compiler_crashers_2/3b6836d8e254e362.swift b/validation-test/compiler_crashers_2/3b6836d8e254e362.swift
@@ -1,4 +1,4 @@
-// {"signature":"(anonymous namespace)::Traversal::doIt(swift::Expr*)"}
+// {"kind":"typecheck","signature":"(anonymous namespace)::ExprRewriter::visitDeclRefExpr(swift::DeclRefExpr*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 {
   for b 0 ..< 10 {
diff --git a/validation-test/compiler_crashers_2/3e3dd6a23227714f.swift b/validation-test/compiler_crashers_2/3e3dd6a23227714f.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","original":"1e8c9260","signature":"(anonymous namespace)::ExprWalker::walkToExprPost(swift::Expr*)"}
+// {"kind":"typecheck","original":"1e8c9260","signature":"(anonymous namespace)::ExprRewriter::visitKeyPathExpr(swift::KeyPathExpr*)"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 struct a {
 callAsFunction {
diff --git a/validation-test/compiler_crashers_2/8d0890396bc3d7c9.swift b/validation-test/compiler_crashers_2/8d0890396bc3d7c9.swift
@@ -1,4 +1,4 @@
-// {"kind":"emit-silgen","original":"be1cdd08","signature":"swift::SILVisitorBase<(anonymous namespace)::SILVerifier, void>::visitSILBasicBlock(swift::SILBasicBlock*)"}
+// {"kind":"emit-silgen","original":"be1cdd08","signature":"swift::verificationFailure(llvm::Twine const&, swift::SILInstruction const*, swift::SILArgument const*, std::__1::function<void ()> const&)"}
 // RUN: not --crash %target-swift-frontend -emit-silgen %s
 // REQUIRES: OS=macosx
 import Foundation
diff --git a/validation-test/compiler_crashers_2/fef90fa2b91e98ff.swift b/validation-test/compiler_crashers_2/fef90fa2b91e98ff.swift
@@ -1,4 +1,4 @@
-// {"kind":"typecheck","signature":"swift::ExistentialArchetypeType::get(swift::CanType)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
+// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getTypeOfMemberReferencePre(swift::constraints::OverloadChoice, swift::DeclContext*, swift::constraints::ConstraintLocator*, swift::constraints::PreparedOverloadBuilder*)","signatureAssert":"Assertion failed: (isa<To>(Val) && \"cast<Ty>() argument of incompatible type!\"), function cast"}
 // RUN: not --crash %target-swift-frontend -typecheck %s
 protocol a where b == Self
   protocol c : a where Self

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","signature":"swift::TypeChecker::resolveDeclRefExpr(swift::UnresolvedDeclRefExpr, swift::DeclContext)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}`
	`1`	`+// {"kind":"complete","signature":"resolveDeclRefExpr(swift::UnresolvedDeclRefExpr, swift::DeclContext, swift::optionset::OptionSet<swift::NameLookupFlags, unsigned int>)","signatureAssert":"Assertion failed: (detail::isPresent(Val) && \"dyn_cast on a non-existent value\"), function dyn_cast"}`
`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 <#type#> {`
`4`	`4`	`var`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"526e79b6","signature":"swift::TypeChecker::checkDeclAttributes(swift::Decl*)","signatureAssert":"Assertion failed: (Ctx.hadError()), function visitCustomAttr","useSourceOrderCompletion":true}`
	`1`	`+// {"kind":"complete","original":"526e79b6","signature":"(anonymous namespace)::AttributeChecker::visitCustomAttr(swift::CustomAttr*)","signatureAssert":"Assertion failed: (Ctx.hadError()), function visitCustomAttr","useSourceOrderCompletion":true}`
`2`	`2`	`// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-order-completion -source-filename %s`
`3`	`3`	`#^^#`
`4`	`4`	`typealias a = . struct b {`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::requiresClass(swift::Type) const"}`
	`1`	`+// {"kind":"complete","original":"ac690622","signature":"swift::rewriting::RequirementMachine::verify(swift::rewriting::MutableTerm const&) 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`	`protocol a {`
`4`	`4`	`associatedtype b`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-// {"kind":"typecheck","signature":"swift::CallerSideDefaultArgExprRequest::OutputType swift::Evaluator::getResultUncached<swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'()>(swift::CallerSideDefaultArgExprRequest const&, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'())"}
	`1`	+// {"kind":"typecheck","signature":"swift::CallerSideDefaultArgExprRequest::OutputType swift::Evaluator::getResultUncached<swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'()>(swift::CallerSideDefaultArgExprRequest const&, swift::CallerSideDefaultArgExprRequest::OutputType swift::evaluateOrDefault<swift::CallerSideDefaultArgExprRequest>(swift::Evaluator&, swift::CallerSideDefaultArgExprRequest, swift::CallerSideDefaultArgExprRequest::OutputType)::'lambda'())::'lambda'()::operator()() const"}
`2`	`2`	`// RUN: not --crash %target-swift-frontend -typecheck %s`
`3`	`3`	`func a (Int -> Int , Int =`
`4`	`4`	`#sourceLocation5`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// {"kind":"typecheck","signature":"swift::PackType::getSingletonPackExpansion(swift::Type)","signatureAssert":"Assertion failed: (rootParameterPacks.size() >= 1), function getSingletonPackExpansion"}`
	`1`	`+// {"kind":"typecheck","signature":"swift::constraints::Solution::computeSubstitutions(swift::NullablePtr<swift::ValueDecl>, swift::GenericSignature, swift::constraints::ConstraintLocator*) const","signatureAssert":"Assertion failed: (rootParameterPacks.size() >= 1), function getSingletonPackExpansion"}`
`2`	`2`	`// RUN: not --crash %target-swift-frontend -typecheck %s`
`3`	`3`	`class a func b < each c : a {`
`4`	`4`	`b`