Skip to content

Remove origin primary #262

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 2 commits into from
Aug 4, 2025
Merged

Conversation

Muscraft
Copy link
Member

@Muscraft Muscraft commented Aug 4, 2025

#261 made it so primary is controlled by element order, which left Origin::primary in an odd spot, as it could control the type of file start for an Origin when that should be determined by element order. To fix this issue, I removed Origin::primary.

@Muscraft Muscraft force-pushed the remove-origin-primary branch from 4d2f6dc to 177666b Compare August 4, 2025 16:06
@epage epage merged commit fd88973 into rust-lang:master Aug 4, 2025
15 checks passed
@Muscraft Muscraft deleted the remove-origin-primary branch August 4, 2025 16:20
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