Skip to content

SWIFT_CONFORMS_TO_PROTOCOL crashes with inferred associated type #82414

New issue
New issue
Open
Bug
Open
SWIFT_CONFORMS_TO_PROTOCOL crashes with inferred associated type#82414
Bug
Assignees
egorzhdan
Labels
associated type inferencec++ interopFeature: Interoperability with C++c++ to swiftFeature → c++ interop: c++ to swiftclang importerArea → compiler: The clang importercompilerThe Swift compiler itselfconformancesFeature → protocol: protocol conformancescrashBug: A crash, i.e., an abnormal termination of softwareswift 6.2
@AnthonyLatsis

Description

@AnthonyLatsis
AnthonyLatsis
opened on Jun 23, 2025

Description

No response

Reproduction

// RUN: %empty-directory(%t)
// RUN: %empty-directory(%t/include)
// RUN: split-file %s %t
//
// RUN: %target-swift-frontend -typecheck -module-name a -cxx-interoperability-mode=default -I %t/include %t/a.swift

//--- include/module.modulemap
module cxx {
  header "header.h"
  export *
}

//--- include/header.h
struct S {
  S() {}
} __attribute__((swift_attr("conforms_to:a.P")));

//--- a.swift
import cxx
public protocol P {
  associatedtype A = Int
  func foo(_: A)
}
extension P {
  func foo(_: A) {}
}
func test(s: S) {
  let _ = s.foo(0)
}

Stack dump

Abort: function finishTypeWitnesses at ImportDecl.cpp:9840
Cannot look up associated type for imported conformance:
(struct_type decl="cxx.(file).S@/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/include/header.h:1:8" foreign)
(associated_type_decl decl_context=0x157382418 range=[/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:3:3 - line:3:22] "A" interface_type="Self.A.Type" access=public default="Int")

Please submit a bug report (https://swift.org/contributing/#reporting-bugs) and include the crash backtrace.
Stack dump:
0.	Program arguments: /Users/alatsis/desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend -target arm64-apple-macosx13.0 -module-cache-path /Users/alatsis/desktop/swiftlang/build/swift/debug/swift-macosx-arm64/swift-test-results/arm64-apple-macosx13.0/clang-module-cache -sdk /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX15.4.sdk -swift-version 4 -define-availability "SwiftStdlib 9999:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999" -define-availability "StdlibDeploymentTarget 9999:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999" -define-availability "SwiftStdlib 5.0:macOS 10.14.4, iOS 12.2, watchOS 5.2, tvOS 12.2" -define-availability "StdlibDeploymentTarget 5.0:macOS 10.14.4, iOS 12.2, watchOS 5.2, tvOS 12.2" -define-availability "SwiftStdlib 5.1:macOS 10.15, iOS 13.0, watchOS 6.0, tvOS 13.0" -define-availability "StdlibDeploymentTarget 5.1:macOS 10.15, iOS 13.0, watchOS 6.0, tvOS 13.0" -define-availability "SwiftStdlib 5.2:macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4" -define-availability "StdlibDeploymentTarget 5.2:macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4" -define-availability "SwiftStdlib 5.3:macOS 11.0, iOS 14.0, watchOS 7.0, tvOS 14.0" -define-availability "StdlibDeploymentTarget 5.3:macOS 11.0, iOS 14.0, watchOS 7.0, tvOS 14.0" -define-availability "SwiftStdlib 5.4:macOS 11.3, iOS 14.5, watchOS 7.4, tvOS 14.5" -define-availability "StdlibDeploymentTarget 5.4:macOS 11.3, iOS 14.5, watchOS 7.4, tvOS 14.5" -define-availability "SwiftStdlib 5.5:macOS 12.0, iOS 15.0, watchOS 8.0, tvOS 15.0" -define-availability "StdlibDeploymentTarget 5.5:macOS 12.0, iOS 15.0, watchOS 8.0, tvOS 15.0" -define-availability "SwiftStdlib 5.6:macOS 12.3, iOS 15.4, watchOS 8.5, tvOS 15.4" -define-availability "StdlibDeploymentTarget 5.6:macOS 12.3, iOS 15.4, watchOS 8.5, tvOS 15.4" -define-availability "SwiftStdlib 5.7:macOS 13.0, iOS 16.0, watchOS 9.0, tvOS 16.0" -define-availability "StdlibDeploymentTarget 5.7:macOS 13.0, iOS 16.0, watchOS 9.0, tvOS 16.0" -define-availability "SwiftStdlib 5.8:macOS 13.3, iOS 16.4, watchOS 9.4, tvOS 16.4" -define-availability "StdlibDeploymentTarget 5.8:macOS 13.3, iOS 16.4, watchOS 9.4, tvOS 16.4" -define-availability "SwiftStdlib 5.9:macOS 14.0, iOS 17.0, watchOS 10.0, tvOS 17.0" -define-availability "StdlibDeploymentTarget 5.9:macOS 14.0, iOS 17.0, watchOS 10.0, tvOS 17.0" -define-availability "SwiftStdlib 5.10:macOS 14.4, iOS 17.4, watchOS 10.4, tvOS 17.4, visionOS 1.1" -define-availability "StdlibDeploymentTarget 5.10:macOS 14.4, iOS 17.4, watchOS 10.4, tvOS 17.4, visionOS 1.1" -define-availability "SwiftStdlib 6.0:macOS 15.0, iOS 18.0, watchOS 11.0, tvOS 18.0, visionOS 2.0" -define-availability "StdlibDeploymentTarget 6.0:macOS 15.0, iOS 18.0, watchOS 11.0, tvOS 18.0, visionOS 2.0" -define-availability "SwiftStdlib 6.1:macOS 15.4, iOS 18.4, watchOS 11.4, tvOS 18.4, visionOS 2.4" -define-availability "StdlibDeploymentTarget 6.1:macOS 15.4, iOS 18.4, watchOS 11.4, tvOS 18.4, visionOS 2.4" -define-availability "SwiftStdlib 6.2:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999" -define-availability "StdlibDeploymentTarget 6.2:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999" -define-availability "SwiftStdlib 6.3:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999" -define-availability "StdlibDeploymentTarget 6.3:macOS 9999, iOS 9999, watchOS 9999, tvOS 9999, visionOS 9999" -define-availability "SwiftCompatibilitySpan 5.0:macOS 10.14.4, iOS 12.2, watchOS 5.2, tvOS 12.2, visionOS 1.1" -define-availability "SwiftCompatibilitySpan 6.2:macOS 15.0, iOS 18.0, watchOS 11.0, tvOS 18.0, visionOS 2.0" -typo-correction-limit 10 -typecheck -module-name a -cxx-interoperability-mode=default -I /Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/include /Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift
1.	Swift version 6.2-dev (LLVM 017432c08540af8, Swift 9488df15e015a15)
2.	Compiling with effective version 4.1.50
3.	While evaluating request TypeCheckPrimaryFileRequest(source_file "/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift")
4.	While evaluating request TypeCheckFunctionBodyRequest(a.(file).test(s:)@/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:9:6)
5.	While type-checking statement at [/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:9:17 - line:11:1] RangeText="{
  let _ = s.foo(0)
"
6.	While type-checking declaration 0x157382f50 (at /Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:10:3)
7.	While evaluating request PatternBindingEntryRequest((unknown decl)@/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:10:3, 0)
8.	While type-checking expression at [/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:10:11 - line:10:18] RangeText="s.foo(0"
9.	While type-checking-target starting at /Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:10:13
10.	While completing import of protocol conformance S: P at 'S' (at /Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/include/header.h:1:8)
11.	Abort: function finishTypeWitnesses at ImportDecl.cpp:9840
| 	Cannot look up associated type for imported conformance:
| 	(struct_type decl="cxx.(file).S@/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/include/header.h:1:8" foreign)
| 	(associated_type_decl decl_context=0x157382418 range=[/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/test-macosx-arm64/Interop/Cxx/Output/bug.swift.tmp/a.swift:3:3 - line:3:22] "A" interface_type="Self.A.Type" access=public default="Int")
 #0 0x000000010c25fa94 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10927ba94)
 #1 0x000000010c25dfe8 llvm::sys::RunSignalHandlers() (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x109279fe8)
 #2 0x000000010c2600ec SignalHandler(int, __siginfo*, void*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10927c0ec)
 #3 0x000000019bf7f624 (/usr/lib/system/libsystem_platform.dylib+0x1804ab624)
 #4 0x000000019bf4588c (/usr/lib/system/libsystem_pthread.dylib+0x18047188c)
 #5 0x000000019be4ec60 (/usr/lib/system/libsystem_c.dylib+0x18037ac60)
 #6 0x0000000107a6448c CONDITIONAL_ASSERT_enabled() (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104a8048c)
 #7 0x0000000107a64564 _ABORT(char const*, int, char const*, llvm::StringRef) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104a80564)
 #8 0x0000000106640cf8 finishTypeWitnesses(swift::NormalProtocolConformance*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10365ccf8)
 #9 0x00000001066409a0 swift::ClangImporter::Implementation::finishNormalConformance(swift::NormalProtocolConformance*, unsigned long long) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10365c9a0)
#10 0x0000000107657748 swift::NormalProtocolConformance::resolveLazyInfo() const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104673748)
#11 0x0000000107655994 swift::NormalProtocolConformance::getWitness(swift::ValueDecl*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104671994)
#12 0x00000001076557d4 swift::ProtocolConformance::getWitnessDecl(swift::ValueDecl*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1046717d4)
#13 0x0000000106247ff8 (anonymous namespace)::LookupResultBuilder::add(swift::ValueDecl*, swift::DeclContext*, swift::ValueDecl*, swift::Type, bool) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103263ff8)
#14 0x0000000106248838 swift::TypeChecker::lookupMember(swift::DeclContext*, swift::Type, swift::DeclNameRef, swift::SourceLoc, swift::optionset::OptionSet<swift::NameLookupFlags, unsigned int>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103264838)
#15 0x0000000105d5df50 swift::constraints::ConstraintSystem::lookupMember(swift::Type, swift::DeclNameRef, swift::SourceLoc) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102d79f50)
#16 0x0000000105b82910 swift::constraints::ConstraintSystem::performMemberLookup(swift::constraints::ConstraintKind, swift::DeclNameRef, swift::Type, swift::FunctionRefInfo, swift::constraints::ConstraintLocator*, bool) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b9e910)
#17 0x0000000105b863c0 swift::constraints::ConstraintSystem::simplifyMemberConstraint(swift::constraints::ConstraintKind, swift::Type, swift::DeclNameRef, swift::Type, swift::DeclContext*, swift::FunctionRefInfo, llvm::ArrayRef<swift::constraints::OverloadChoice>, swift::optionset::OptionSet<swift::constraints::ConstraintSystem::TypeMatchFlags, unsigned int>, swift::constraints::ConstraintLocatorBuilder) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102ba23c0)
#18 0x0000000105b1e220 swift::constraints::ConstraintSystem::addValueMemberConstraint(swift::Type, swift::DeclNameRef, swift::Type, swift::DeclContext*, swift::FunctionRefInfo, llvm::ArrayRef<swift::constraints::OverloadChoice>, swift::constraints::ConstraintLocatorBuilder) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b3a220)
#19 0x0000000105b227b0 (anonymous namespace)::ConstraintGenerator::addMemberRefConstraints(swift::Expr*, swift::Expr*, swift::DeclNameRef, swift::FunctionRefInfo, llvm::ArrayRef<swift::ValueDecl*>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b3e7b0)
#20 0x0000000105b160cc (anonymous namespace)::ConstraintGenerator::visitUnresolvedDotExpr(swift::UnresolvedDotExpr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b320cc)
#21 0x0000000105b12974 swift::ASTVisitor<(anonymous namespace)::ConstraintGenerator, swift::Type, void, void, void, void, void>::visit(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b2e974)
#22 0x0000000105b0a8b8 (anonymous namespace)::ConstraintWalker::walkToExprPost(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b268b8)
#23 0x0000000106dc5e94 (anonymous namespace)::Traversal::doIt(swift::Expr*)::'lambda0'(swift::Expr*)::operator()(swift::Expr*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103de1e94)
#24 0x0000000106dc5e58 swift::ASTWalker::PostWalkResult<swift::Expr*> llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Expr*> (swift::Expr*)>::callback_fn<(anonymous namespace)::Traversal::doIt(swift::Expr*)::'lambda0'(swift::Expr*)>(long, swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103de1e58)
#25 0x0000000106dc08b0 llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Expr*> (swift::Expr*)>::operator()(swift::Expr*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddc8b0)
#26 0x0000000106dc06c0 swift::Expr* (anonymous namespace)::Traversal::traverse<swift::Expr>(swift::ASTWalker::PreWalkResult<swift::Expr*>, llvm::function_ref<swift::Expr* (swift::Expr*)>, llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Expr*> (swift::Expr*)>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddc6c0)
#27 0x0000000106dbfb38 (anonymous namespace)::Traversal::doIt(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddbb38)
#28 0x0000000106dc5488 (anonymous namespace)::Traversal::visitApplyExpr(swift::ApplyExpr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103de1488)
#29 0x0000000106dc31c4 swift::ASTVisitor<(anonymous namespace)::Traversal, swift::Expr*, swift::Stmt*, bool, swift::Pattern*, bool, void>::visitCallExpr(swift::CallExpr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddf1c4)
#30 0x0000000106dc10dc swift::ASTVisitor<(anonymous namespace)::Traversal, swift::Expr*, swift::Stmt*, bool, swift::Pattern*, bool, void>::visit(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddd0dc)
#31 0x0000000106dc0aec (anonymous namespace)::Traversal::visit(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddcaec)
#32 0x0000000106dc0aa4 (anonymous namespace)::Traversal::doIt(swift::Expr*)::'lambda'(swift::Expr*)::operator()(swift::Expr*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddcaa4)
#33 0x0000000106dc0a74 swift::Expr* llvm::function_ref<swift::Expr* (swift::Expr*)>::callback_fn<(anonymous namespace)::Traversal::doIt(swift::Expr*)::'lambda'(swift::Expr*)>(long, swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddca74)
#34 0x00000001060790f8 llvm::function_ref<swift::Expr* (swift::Expr*)>::operator()(swift::Expr*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1030950f8)
#35 0x0000000106dc0670 swift::Expr* (anonymous namespace)::Traversal::traverse<swift::Expr>(swift::ASTWalker::PreWalkResult<swift::Expr*>, llvm::function_ref<swift::Expr* (swift::Expr*)>, llvm::function_ref<swift::ASTWalker::PostWalkResult<swift::Expr*> (swift::Expr*)>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddc670)
#36 0x0000000106dbfb38 (anonymous namespace)::Traversal::doIt(swift::Expr*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddbb38)
#37 0x0000000106dbfa68 swift::Expr::walk(swift::ASTWalker&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103ddba68)
#38 0x0000000105b04608 generateConstraintsFor(swift::constraints::ConstraintSystem&, swift::Expr*, swift::DeclContext*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b20608)
#39 0x0000000105b03c48 swift::constraints::ConstraintSystem::generateConstraints(swift::Expr*, swift::DeclContext*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b1fc48)
#40 0x0000000105b034cc swift::constraints::ConstraintSystem::generateConstraints(swift::constraints::SyntacticElementTarget&, swift::FreeTypeVariableBinding) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102b1f4cc)
#41 0x0000000105c01038 swift::constraints::ConstraintSystem::solveImpl(swift::constraints::SyntacticElementTarget&, swift::FreeTypeVariableBinding) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102c1d038)
#42 0x0000000105c00a68 swift::constraints::ConstraintSystem::solve(swift::constraints::SyntacticElementTarget&, swift::FreeTypeVariableBinding) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x102c1ca68)
#43 0x000000010606cdd8 swift::TypeChecker::typeCheckTarget(swift::constraints::SyntacticElementTarget&, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::DiagnosticTransaction*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103088dd8)
#44 0x000000010606cb3c swift::TypeChecker::typeCheckExpression(swift::constraints::SyntacticElementTarget&, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>, swift::DiagnosticTransaction*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103088b3c)
#45 0x000000010606e504 swift::TypeChecker::typeCheckBinding(swift::Pattern*&, swift::Expr*&, swift::DeclContext*, swift::Type, swift::PatternBindingDecl*, unsigned int, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10308a504)
#46 0x000000010606e85c swift::TypeChecker::typeCheckPatternBinding(swift::PatternBindingDecl*, unsigned int, swift::Type, swift::optionset::OptionSet<swift::TypeCheckExprFlags, unsigned int>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10308a85c)
#47 0x000000010635056c swift::PatternBindingEntryRequest::evaluate(swift::Evaluator&, swift::PatternBindingDecl*, unsigned int) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10336c56c)
#48 0x000000010631b70c swift::PatternBindingEntry const* swift::SimpleRequest<swift::PatternBindingEntryRequest, swift::PatternBindingEntry const* (swift::PatternBindingDecl*, unsigned int), (swift::RequestFlags)4>::callDerived<0ul, 1ul>(swift::Evaluator&, std::__1::integer_sequence<unsigned long, 0ul, 1ul>) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10333770c)
#49 0x00000001063166a0 swift::SimpleRequest<swift::PatternBindingEntryRequest, swift::PatternBindingEntry const* (swift::PatternBindingDecl*, unsigned int), (swift::RequestFlags)4>::evaluateRequest(swift::PatternBindingEntryRequest const&, swift::Evaluator&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1033326a0)
#50 0x0000000106fed294 swift::PatternBindingEntryRequest::OutputType swift::Evaluator::getResultUncached<swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'()>(swift::PatternBindingEntryRequest const&, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104009294)
#51 0x0000000106fed174 swift::PatternBindingEntryRequest::OutputType swift::Evaluator::getResultCached<swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'(), (void*)0>(swift::PatternBindingEntryRequest const&, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104009174)
#52 0x0000000106fed064 swift::PatternBindingEntryRequest::OutputType swift::Evaluator::operator()<swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'(), (void*)0>(swift::PatternBindingEntryRequest const&, swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x104009064)
#53 0x0000000106f43250 swift::PatternBindingEntryRequest::OutputType swift::evaluateOrDefault<swift::PatternBindingEntryRequest>(swift::Evaluator&, swift::PatternBindingEntryRequest, swift::PatternBindingEntryRequest::OutputType) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103f5f250)
#54 0x0000000106f4320c swift::PatternBindingDecl::getCheckedPatternBindingEntry(unsigned int) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103f5f20c)
#55 0x000000010614ed80 (anonymous namespace)::DeclChecker::visitPatternBindingDecl(swift::PatternBindingDecl*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10316ad80)
#56 0x00000001061492e8 swift::ASTVisitor<(anonymous namespace)::DeclChecker, void, void, void, void, void, void>::visit(swift::Decl*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1031652e8)
#57 0x000000010613e12c (anonymous namespace)::DeclChecker::visit(swift::Decl*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10315a12c)
#58 0x000000010613df70 swift::TypeChecker::typeCheckDecl(swift::Decl*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103159f70)
#59 0x000000010632db08 (anonymous namespace)::StmtChecker::typeCheckASTNode(swift::ASTNode&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103349b08)
#60 0x0000000106334e38 (anonymous namespace)::StmtChecker::visitBraceStmt(swift::BraceStmt*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103350e38)
#61 0x00000001063349b0 swift::ASTVisitor<(anonymous namespace)::StmtChecker, void, swift::Stmt*, void, void, void, void>::visit(swift::Stmt*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1033509b0)
#62 0x000000010632ffb8 bool (anonymous namespace)::StmtChecker::typeCheckStmt<swift::BraceStmt>(swift::BraceStmt*&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10334bfb8)
#63 0x000000010632fa38 (anonymous namespace)::StmtChecker::typeCheckBody(swift::BraceStmt*&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10334ba38)
#64 0x000000010632f418 swift::TypeCheckFunctionBodyRequest::evaluate(swift::Evaluator&, swift::AbstractFunctionDecl*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10334b418)
#65 0x000000010631c9b4 swift::BraceStmt* swift::SimpleRequest<swift::TypeCheckFunctionBodyRequest, swift::BraceStmt* (swift::AbstractFunctionDecl*), (swift::RequestFlags)20>::callDerived<0ul>(swift::Evaluator&, std::__1::integer_sequence<unsigned long, 0ul>) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1033389b4)
#66 0x0000000106316d84 swift::SimpleRequest<swift::TypeCheckFunctionBodyRequest, swift::BraceStmt* (swift::AbstractFunctionDecl*), (swift::RequestFlags)20>::evaluateRequest(swift::TypeCheckFunctionBodyRequest const&, swift::Evaluator&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103332d84)
#67 0x000000010720fe94 swift::TypeCheckFunctionBodyRequest::OutputType swift::Evaluator::getResultUncached<swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()>(swift::TypeCheckFunctionBodyRequest const&, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10422be94)
#68 0x000000010720fd74 swift::TypeCheckFunctionBodyRequest::OutputType swift::Evaluator::getResultCached<swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'(), (void*)0>(swift::TypeCheckFunctionBodyRequest const&, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10422bd74)
#69 0x000000010720fc64 swift::TypeCheckFunctionBodyRequest::OutputType swift::Evaluator::operator()<swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'(), (void*)0>(swift::TypeCheckFunctionBodyRequest const&, swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10422bc64)
#70 0x0000000106f6507c swift::TypeCheckFunctionBodyRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckFunctionBodyRequest>(swift::Evaluator&, swift::TypeCheckFunctionBodyRequest, swift::TypeCheckFunctionBodyRequest::OutputType) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103f8107c)
#71 0x0000000106f6503c swift::AbstractFunctionDecl::getTypecheckedBody() const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103f8103c)
#72 0x00000001074ad79c swift::SourceFile::typeCheckDelayedFunctions() (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1044c979c)
#73 0x000000010644adb8 swift::TypeCheckPrimaryFileRequest::evaluate(swift::Evaluator&, swift::SourceFile*) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103466db8)
#74 0x000000010631db20 std::__1::tuple<> swift::SimpleRequest<swift::TypeCheckPrimaryFileRequest, std::__1::tuple<> (swift::SourceFile*), (swift::RequestFlags)20>::callDerived<0ul>(swift::Evaluator&, std::__1::integer_sequence<unsigned long, 0ul>) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103339b20)
#75 0x0000000106317348 swift::SimpleRequest<swift::TypeCheckPrimaryFileRequest, std::__1::tuple<> (swift::SourceFile*), (swift::RequestFlags)20>::evaluateRequest(swift::TypeCheckPrimaryFileRequest const&, swift::Evaluator&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103333348)
#76 0x000000010644e0d0 swift::TypeCheckPrimaryFileRequest::OutputType swift::Evaluator::getResultUncached<swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()>(swift::TypeCheckPrimaryFileRequest const&, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10346a0d0)
#77 0x000000010644dfec swift::TypeCheckPrimaryFileRequest::OutputType swift::Evaluator::getResultCached<swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'(), (void*)0>(swift::TypeCheckPrimaryFileRequest const&, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103469fec)
#78 0x000000010644df04 swift::TypeCheckPrimaryFileRequest::OutputType swift::Evaluator::operator()<swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'(), (void*)0>(swift::TypeCheckPrimaryFileRequest const&, swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType)::'lambda'()) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x103469f04)
#79 0x000000010644a9f8 swift::TypeCheckPrimaryFileRequest::OutputType swift::evaluateOrDefault<swift::TypeCheckPrimaryFileRequest>(swift::Evaluator&, swift::TypeCheckPrimaryFileRequest, swift::TypeCheckPrimaryFileRequest::OutputType) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1034669f8)
#80 0x000000010644a9bc swift::performTypeChecking(swift::SourceFile&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1034669bc)
#81 0x00000001038be164 swift::CompilerInstance::performSema()::$_0::operator()(swift::SourceFile&) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1008da164)
#82 0x00000001038be13c bool llvm::function_ref<bool (swift::SourceFile&)>::callback_fn<swift::CompilerInstance::performSema()::$_0>(long, swift::SourceFile&) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1008da13c)
#83 0x000000010389bee4 llvm::function_ref<bool (swift::SourceFile&)>::operator()(swift::SourceFile&) const (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1008b7ee4)
#84 0x000000010389bc1c swift::CompilerInstance::forEachFileToTypeCheck(llvm::function_ref<bool (swift::SourceFile&)>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1008b7c1c)
#85 0x000000010389bb54 swift::CompilerInstance::performSema() (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1008b7b54)
#86 0x00000001033ffcb0 withSemanticAnalysis(swift::CompilerInstance&, swift::FrontendObserver*, llvm::function_ref<bool (swift::CompilerInstance&)>, bool) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x10041bcb0)
#87 0x00000001033f9f98 performAction(swift::CompilerInstance&, int&, swift::FrontendObserver*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x100415f98)
#88 0x00000001033e172c performCompile(swift::CompilerInstance&, int&, swift::FrontendObserver*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1003fd72c)
#89 0x00000001033e0b94 swift::performFrontend(llvm::ArrayRef<char const*>, char const*, void*, swift::FrontendObserver*) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1003fcb94)
#90 0x000000010301d1d8 run_driver(llvm::StringRef, llvm::ArrayRef<char const*>, llvm::ArrayRef<char const*>) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x1000391d8)
#91 0x000000010301c090 swift::mainEntry(int, char const**) (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x100038090)
#92 0x000000010301b820 main (/Users/alatsis/Desktop/swiftlang/build/swift/debug/swift-macosx-arm64/bin/swift-frontend+0x100037820)
#93 0x000000019bba6b4c

Expected behavior

Success.

Environment

Swift version 6.2-dev (LLVM 017432c08540af8, Swift 9488df1)

Additional information

No response

Metadata

Metadata

Assignees

Labels

associated type inferencec++ interopFeature: Interoperability with C++c++ to swiftFeature → c++ interop: c++ to swiftclang importerArea → compiler: The clang importercompilerThe Swift compiler itselfconformancesFeature → protocol: protocol conformancescrashBug: A crash, i.e., an abnormal termination of softwareswift 6.2

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions