Assertion failure swift::ProtocolConformanceRef::subst with 6.1 in release build #79318
Assignees
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
crash
Bug: A crash, i.e., an abnormal termination of software
distributed
Feature → concurrency: distributed actor
Comments
vsarunas
added
bug
|
#70834 looks similar, but unsure it is exactly the same. |
10 tasks
ktoso
added
distributed
|
rdar://146101172 |
|
Same stack with Xcode 16.3 Beta 3: |
|
Related forums thread: https://forums.swift.org/t/proper-way-to-escalate-swift-6-1-crash-blockers/78620 Copying my response
Thanks for the ping here, I'll see what I can find out. |
|
Fix incoming soon: #80109 |
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172 (cherry picked from commit 0415b40)
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172 (cherry picked from commit 0415b40)
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172 (cherry picked from commit 0415b40)
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 28, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172 (cherry picked from commit 0415b40)
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 30, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172 (cherry picked from commit 0415b40)
xedin
added a commit
to xedin/swift
that referenced
this issue
Mar 30, 2025
…s requirements This is a narrow fix, we are going to work on fixing this properly and allowing both devirtualization and specialization for distributed requirement witnesses. Anything that uses an ad-hoc serialization requirement scheme cannot be devirtualized because that would result in loss of ad-hoc conformance in new substitution map. Resolves: swiftlang#79318 Resolves: rdar://146101172
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Description
Preparing for Swift 6.1 adoption and experiencing a compiler crash while compiling in release mode; debug mode works fine.
Adding
Shows:
Reproduction
Stack dump
Expected behavior
Succesful compilation.
Environment
swift-6.1-DEVELOPMENT-SNAPSHOT-2025-02-10:Also reproduces on
swift-DEVELOPMENT-SNAPSHOT-2025-02-04:Additional information
No response
The text was updated successfully, but these errors were encountered: