Skip to content

WIP: Add BorrowingSequence above Sequence #86066

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.

Sign up for GitHub

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

Jump to bottom
Draft
natecook1000 wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

WIP: Add BorrowingSequence above Sequence #86066

natecook1000 wants to merge 1 commit into from
+299 −2

Conversation

@natecook1000
Copy link
Member

@natecook1000 natecook1000 commented Dec 15, 2025

Adds a new BorrowingSequence and makes Sequence extend the new protocol.

Issues still to tackle:

  • unsure how to handle availability for Sequence protocol when its declaration would require the availability-constrained BorrowingSequence – availability checking currently off
  • conditionally-conforming Sequence types (like Range<Int>) don't implicitly conform to BorrowingSequence

@natecook1000
Initial work on BorrowingSequence above Sequence
a096da0 
So far this runs into the issue that conditionally-conforming Sequence
types (like Range<Int>) don't implicitly conform to BorrowingSequence.
@natecook1000 natecook1000 changed the title Initial work on BorrowingSequence above Sequence WIP: Add BorrowingSequence above Sequence Dec 15, 2025
@benrimmington
Copy link
Contributor

benrimmington commented Dec 16, 2025

Library Evolution in Swift:

Changes to a protocol’s list of refined protocols are not allowed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tshortli tshortli Awaiting requested review from tshortli tshortli will be requested when the pull request is marked ready for review tshortli is a code owner

@etcwilde etcwilde Awaiting requested review from etcwilde etcwilde will be requested when the pull request is marked ready for review etcwilde is a code owner

@compnerd compnerd Awaiting requested review from compnerd compnerd will be requested when the pull request is marked ready for review compnerd is a code owner

@edymtt edymtt Awaiting requested review from edymtt edymtt will be requested when the pull request is marked ready for review edymtt is a code owner

@justice-adams-apple justice-adams-apple Awaiting requested review from justice-adams-apple justice-adams-apple will be requested when the pull request is marked ready for review justice-adams-apple is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@natecook1000 @benrimmington