Skip to content

[test] Update some crasher signatures #83193

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jul 21, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions validation-test/IDE/crashers/488be7ca295930f4.swift
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
// {"kind":"complete","signature":"doPrintTypeInterface(swift::CompilerInvocation const&, llvm::StringRef, llvm::StringRef)"}
// Actual signature: checkSingleOverride
// {"kind":"complete","signature":"doPrintTypeInterface(swift::CompilerInvocation const&, llvm::StringRef, llvm::StringRef)","aliases":["checkSingleOverride(swift::ValueDecl*, swift::ValueDecl*)"]}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -source-filename %s
class a { subscript(a) a { set } class b : a { override subscript(a) a {
#^COMPLETE^#
3 changes: 1 addition & 2 deletions validation-test/IDE/crashers/64cbd48634eb9eac.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
// {"kind":"complete","signature":"swift::irgen::IRGenModule::emitLazyObjCProtocolDefinition(swift::ProtocolDecl*)"}
// Actual signature: matchCallArguments
// {"kind":"complete","signature":"swift::irgen::IRGenModule::emitLazyObjCProtocolDefinition(swift::ProtocolDecl*)","aliases":["swift::constraints::ConstraintSystem::getType(swift::ASTNode) const"]}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
{ switch { case let c(#^COMPLETE^# b) a
4 changes: 2 additions & 2 deletions validation-test/IDE/crashers/8659dc98be5856f6.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"complete","signature":"swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*)"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
// {"kind":"complete","signature":"bool (anonymous namespace)::StmtChecker::typeCheckStmt<swift::Stmt>(swift::Stmt*&)"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
extension {
a { discard b#^COMPLETE^#
3 changes: 1 addition & 2 deletions validation-test/IDE/crashers/8668a3eb11f2baf.swift
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
// {"kind":"complete","signature":"swift::Demangle::RemanglerBase::entryForNode(swift::Demangle::Node*, bool)"}
// Actual signature: USRBasedType::fromType
// {"kind":"complete","signature":"swift::ide::USRBasedType::fromType(swift::Type, swift::ide::USRBasedTypeArena&)"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
protocol a: c { b(a = #^^# }
protocol c: a
3 changes: 1 addition & 2 deletions validation-test/IDE/crashers/88724bf42982b346.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
// {"kind":"complete","signature":"swift::ide::printTypeUSR(swift::Type, llvm::raw_ostream&)"}
// Actual signature: getContextSubstitutions
// {"kind":"complete","signature":"swift::ide::printTypeUSR(swift::Type, llvm::raw_ostream&)","aliases":["swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)"]}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -source-filename %s
protocol a extension a where Self == { extension a#^COMPLETE^# protocol b
3 changes: 1 addition & 2 deletions validation-test/IDE/crashers/96faa1ddefcb57f.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
// {"kind":"complete","signature":"swift::Demangle::ASTBuilder::findTypeDecl(swift::DeclContext*, swift::Identifier, swift::Identifier, swift::Demangle::Node::Kind)"}
// Actual signature: openTypeParameter
// {"kind":"complete","signature":"swift::Demangle::ASTBuilder::findTypeDecl(swift::DeclContext*, swift::Identifier, swift::Identifier, swift::Demangle::Node::Kind)","aliases":["openTypeParameter(swift::constraints::ConstraintSystem&, swift::Type, swift::GenericEnvironment*, llvm::DenseMap<swift::SubstitutableType*, swift::TypeVariableType*, llvm::DenseMapInfo<swift::SubstitutableType*, void>, llvm::detail::DenseMapPair<swift::SubstitutableType*, swift::TypeVariableType*>>&)"]}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -source-filename %s
struct a<b:RangeReplaceableCollection where b ={ c: b.Element? { #^COMPLETE^#
5 changes: 0 additions & 5 deletions validation-test/IDE/crashers/9b90cd875bff6ab4.swift

This file was deleted.

4 changes: 2 additions & 2 deletions validation-test/IDE/crashers/acb013ae9149246.swift
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
// {"kind":"complete","signature":"swift::DeclContext::getASTContext() const+0xbc"}
// RUN: not --crash %target-swift-ide-test -code-completion --code-completion-token=COMPLETE -code-completion-diagnostics -source-filename %s
// {"kind":"complete","signature":"swift::DeclContext::getASTContext() const"}
// RUN: not --crash %target-swift-ide-test -code-completion -batch-code-completion -skip-filecheck -code-completion-diagnostics -source-filename %s
@ a(
#^COMPLETE^# {}
let b
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/12d47ccfc65a990.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::ExtensionDecl::getExtendedNominal() const"}
// {"kind":"typecheck","signature":"swift::ast_scope::ASTScopeImpl::printRange(llvm::raw_ostream&) const"}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, that’s as far as I got with this one ;-)

// RUN: not --crash %target-swift-frontend -typecheck %s
extension a {}
func b < >>
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/21fbeea5d06bd55.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"std::__1::__function::__func<deriveBodyDecodable_enum_init(swift::AbstractFunctionDecl*, void*)::$_0, std::__1::allocator<deriveBodyDecodable_enum_init(swift::AbstractFunctionDecl*, void*)::$_0>, std::__1::tuple<swift::EnumElementDecl*, swift::BraceStmt*> (swift::EnumElementDecl*, swift::EnumElementDecl*, llvm::ArrayRef<swift::VarDecl*>)>::operator()(swift::EnumElementDecl*&&, swift::EnumElementDecl*&&, llvm::ArrayRef<swift::VarDecl*>&&)"}
// {"kind":"typecheck","signature":"createEnumSwitch(swift::ASTContext&, swift::DeclContext*, swift::Expr*, swift::EnumDecl*, swift::EnumDecl*, bool, std::__1::function<std::__1::tuple<swift::EnumElementDecl*, swift::BraceStmt*> (swift::EnumElementDecl*, swift::EnumElementDecl*, llvm::ArrayRef<swift::VarDecl*>)>)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
enum a : Codable { case x( x : Int b : Double enum XCodingKeys : CodingKey{
x case x case b let c = a
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/2571144ba4dfcd.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::ASTPrinter::printName(swift::Identifier, swift::PrintNameContext, bool)"}
// {"kind":"typecheck","signature":"(anonymous namespace)::TypePrinter::printWithParensIfNotSimple(swift::Type)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a: Collection where Element == b.Element! {
associatedtype b: Collection
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/267b1378f37f8563.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::constraints::ArgumentMismatchFailure::diagnoseAttemptedRegexBuilder() const"}
// {"kind":"typecheck","signature":"swift::constraints::AllowArgumentMismatch::create(swift::constraints::ConstraintSystem&, swift::Type, swift::Type, swift::constraints::ConstraintLocator*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol b {
c<each d >(repeat each d, e: (
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/275b15e1edc79b4f.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::TypeTransform<(anonymous namespace)::TypeSubstituter>::doIt(swift::Type, swift::TypePosition)"}
// {"kind":"typecheck","signature":"swift::ProtocolConformanceRef::getTypeWitness(swift::AssociatedTypeDecl*, swift::SubstOptions) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a: Collection where Iterator == Self
struct b<c: a>: IteratorProtocol {next -> c.Element? struct c: a {
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/2d564dafb1f91.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getTypeOfMemberReference(swift::Type, swift::ValueDecl*, swift::DeclContext*, bool, swift::FunctionRefInfo, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>*, swift::constraints::PreparedOverload*)"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getTypeOfMemberReference(swift::Type, swift::ValueDecl*, swift::DeclContext*, bool, swift::FunctionRefInfo, swift::constraints::ConstraintLocator*, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>*, swift::constraints::PreparedOverloadBuilder*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a {
macro b()
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/3070c3e372b52e7e.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::constraints::ConstraintSystem::resolveOverload(swift::constraints::ConstraintLocator*, swift::Type, swift::constraints::OverloadChoice, swift::DeclContext*)"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::recordResolvedOverload(swift::constraints::ConstraintLocator*, swift::constraints::SelectedOverload)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct a func b(c : a) {
{
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/32bd25d0f0f96b1e.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl*, swift::FunctionRefInfo, swift::constraints::ConstraintLocatorBuilder, swift::DeclContext*)"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::getTypeOfReference(swift::ValueDecl*, swift::FunctionRefInfo, swift::constraints::ConstraintLocatorBuilder, swift::DeclContext*, swift::constraints::PreparedOverloadBuilder*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
func a<b>((__shared b) -> Void)
func c(UnsafeMutablePointer<UInt8>) a {
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/3b24e8bed8732c5c.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"kind":"emit-ir","signature":"std::__1::optional<swift::Type> llvm::function_ref<std::__1::optional<swift::Type> (swift::TypeBase*, swift::TypePosition)>::callback_fn<swift::rewriting::PropertyMap::getTypeFromSubstitutionSchema(swift::Type, llvm::ArrayRef<swift::rewriting::Term>, llvm::ArrayRef<swift::GenericTypeParamType*>, swift::rewriting::MutableTerm const&) const::$_0>(long, swift::TypeBase*, swift::TypePosition)"}
// {"kind":"emit-ir","signature":"swift::irgen::FulfillmentMap::searchTypeMetadata(swift::irgen::IRGenModule&, swift::CanType, swift::irgen::IsExact_t, swift::MetadataState, unsigned int, swift::irgen::MetadataPath&&, swift::irgen::FulfillmentMap::InterestingKeysCallback const&)"}
// RUN: not --crash %target-swift-frontend -emit-ir %s
class a<b> {
}
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/624dafcf406667e8.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"(anonymous namespace)::SyntacticElementSolutionApplication::visitReturnStmt(swift::ReturnStmt*)"}
// {"kind":"typecheck","signature":"(anonymous namespace)::SyntacticElementSolutionApplication::visitReturnStmt(swift::ReturnStmt*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
enum a func b(c : a) {
let:
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/666bd08556187ed3.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"(anonymous namespace)::DeclChecker::visitExtensionDecl(swift::ExtensionDecl*)"}
// {"kind":"typecheck","signature":"(anonymous namespace)::DeclChecker::visit(swift::Decl*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
extension repeat (
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/66e337320b1924c.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"std::__1::__function::__func<resolveTypeWitnessViaLookup(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*)::$_3, std::__1::allocator<resolveTypeWitnessViaLookup(swift::NormalProtocolConformance*, swift::AssociatedTypeDecl*)::$_3>, void (swift::NormalProtocolConformance*)>::~__func()"}
// {"kind":"typecheck","signature":"swift::ProtocolRequiresClassRequest::diagnoseCycle(swift::DiagnosticEngine&) const"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct b let b c a = b protocol a : a
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/76b298dbdff34f1.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"swift::TypeBase::getContextSubstitutions(swift::DeclContext const*, swift::GenericEnvironment*)"}
// {"kind":"typecheck","signature":"swift::ide::printTypeUSR(swift::Type, llvm::raw_ostream&)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
@propertyWrapper struct a < b { wrappedValue : c var projectedValue init(projectedValue d) func e(@a & f g : b
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/9adf18151655a6ae.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"isVanishingTupleConformance(swift::NormalProtocolConformance*, swift::SubstitutionMap)"}
// {"kind":"typecheck","signature":"(anonymous namespace)::DeclChecker::visit(swift::Decl*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
typealias a<b> = (repeat b)protocol c extension a : c
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/b7d484d056661ff.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"swift::PackExpansionType::PackExpansionType(swift::Type, swift::Type, swift::RecursiveTypeProperties, swift::ASTContext const*)"}
// {"kind":"typecheck","signature":"swift::TupleTypeElt::TupleTypeElt(swift::Type, swift::Identifier)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
[Int : Int](Int) { a, b in a[b b= b * b
3 changes: 2 additions & 1 deletion validation-test/compiler_crashers_2/b862de77602e6bcf.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
// {"signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity4cLoc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0A0O0E4KindVSo0z6SourceN0VA2NSPySo0Z15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
// {"kind":"typecheck","signature":"$s11swiftASTGen19addQueuedDiagnostic20queuedDiagnosticsPtr011perFrontende5StateH04text8severity3loc12categoryName17documentationPath015highlightRangesH0012numHighlightT013fixItsUntypedySv_SvSo16BridgedStringRefVSo0A0O0E4KindVAP9SourceLocVA2NSPyAP15CharSourceRangeVGSgSiSo0Z8ArrayRefVtF"}
// RUN: not --crash %target-swift-frontend -typecheck %s
// REQUIRES: objc_interop
// REQUIRES: swift_swift_parser
class a { @objc ( : ( b
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/c3b37ed583f2402b.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::TypeTransform<(anonymous namespace)::MapTypeIntoContext>::doIt(swift::Type, swift::TypePosition)"}
// {"kind":"typecheck","signature":"(anonymous namespace)::IsBindableVisitor::handleGenericNominalType(swift::NominalTypeDecl*, swift::CanType, swift::CanType)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a < b protocol
c{associatedtype f : a<d> associatedtype d : a<f>} func e < b : c {
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/d48b4d2e686349d.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"swift::constraints::ConstraintSystem::associateArgumentList(swift::constraints::ConstraintLocator*, swift::ArgumentList*)"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::recordArgumentList(swift::constraints::ConstraintLocator*, swift::ArgumentList*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol b let b = { (a : b)in switch a { case .c(d(
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/db89d09981b453c7.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"kind":"typecheck","original":"702452ac","signature":"std::__1::__function::__func<diagnoseProtocolStubFixit(swift::ASTContext&, swift::NormalProtocolConformance*, llvm::ArrayRef<swift::ASTContext::MissingWitness>)::$_0, std::__1::allocator<diagnoseProtocolStubFixit(swift::ASTContext&, swift::NormalProtocolConformance*, llvm::ArrayRef<swift::ASTContext::MissingWitness>)::$_0>, void (swift::NormalProtocolConformance*)>::operator()(swift::NormalProtocolConformance*&&)"}
// {"kind":"typecheck","original":"702452ac","signature":"(anonymous namespace)::MultiConformanceChecker::checkAllConformances()"}
// RUN: not --crash %target-swift-frontend -typecheck %s
class a: b protocol b { macro a
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/e5dc6197d5ae06b.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"swift::QueryInterfaceTypeSubstitutions::operator()(swift::SubstitutableType*) const"}
// {"kind":"typecheck","signature":"swift::Mangle::ASTMangler::appendRequirement(swift::Requirement const&, swift::GenericSignature, bool)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
protocol a {
typealias b = Int
Expand Down
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/efd413faa5b859c9.swift
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
// {"signature":"swift::constraints::ConstraintSystem::recordOpenedTypes(swift::constraints::ConstraintLocatorBuilder, llvm::SmallVectorImpl<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>&, bool)"}
// {"kind":"typecheck","signature":"swift::constraints::ConstraintSystem::recordOpenedType(swift::constraints::ConstraintLocator*, llvm::ArrayRef<std::__1::pair<swift::GenericTypeParamType*, swift::TypeVariableType*>>, swift::constraints::PreparedOverloadBuilder*)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
struct b let c = { (a : b)in switch a { case .d(... e
2 changes: 1 addition & 1 deletion validation-test/compiler_crashers_2/f1419d3f3c2fe6b9.swift
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// {"signature":"(anonymous namespace)::TypeSubstituter::transformGenericTypeParamType(swift::GenericTypeParamType*, swift::TypePosition)"}
// {"kind":"typecheck","signature":"swift::Mangle::ASTMangler::appendProtocolName(swift::ProtocolDecl const*, bool)"}
// RUN: not --crash %target-swift-frontend -typecheck %s
extension Collection where Self : a {
struct Index protocol a