Skip to content

Conversation

kavon
Copy link
Member

@kavon kavon commented Mar 29, 2024

Explanation: Workaround an issue in the SILLinker where protocol conformances can become invalid, due to issues in SubstitutionMap when dealing with invertible protocols. This problem popped up after the change in #72580
Scope: Small; limited to replacing conformances only in SILCloner where the issue arises.
Issue: rdar://125460667
Original PR: #72683
Risk: Low.
Testing: Only existing regression testing. Reproducer is tricky to come-by.
Reviewer: @DougGregor

When cloning SIL, it's OK for conformances to Copyable or Escapable to
be carried-over as a builtin conformance, rather than an abstract
conformance.

This is a workaround for a bug introduced in
`6cd5468cceacc1d600c7dafdd4debc6740d1dfd6`.

resolves rdar://125460667

(cherry picked from commit abae144)
@kavon kavon requested a review from a team as a code owner March 29, 2024 00:03
@kavon
Copy link
Member Author

kavon commented Mar 29, 2024

@swift-ci please test

@kavon
Copy link
Member Author

kavon commented Mar 29, 2024

@swift-ci test

@kavon
Copy link
Member Author

kavon commented Mar 29, 2024

Aborted by unknown
Sending interrupt signal to process

@kavon
Copy link
Member Author

kavon commented Mar 29, 2024

@swift-ci please test Linux

@kavon kavon merged commit c00f00f into swiftlang:release/6.0 Mar 29, 2024
@kavon kavon deleted the 6.0-fix-make-abstract-conformance-attempt2 branch March 29, 2024 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants