Skip to content

De-monomorphize spsc consumer and producer#571

Closed
sosthene-nitrokey wants to merge 2 commits into
rust-embedded:mainfrom
Nitrokey:spcs-demonomorphize
Closed

De-monomorphize spsc consumer and producer#571
sosthene-nitrokey wants to merge 2 commits into
rust-embedded:mainfrom
Nitrokey:spcs-demonomorphize

Conversation

@sosthene-nitrokey

Copy link
Copy Markdown
Contributor

This needs a workaround for the const use case however

@sosthene-nitrokey sosthene-nitrokey force-pushed the spcs-demonomorphize branch 2 times, most recently from 970035f to e4c5b81 Compare April 29, 2025 13:01
@sosthene-nitrokey

Copy link
Copy Markdown
Contributor Author

This is a breaking change, but if we yank 0.9.0 as I suggest to do in #568 , it would be nice to have it in the next release.

@sosthene-nitrokey sosthene-nitrokey force-pushed the spcs-demonomorphize branch 3 times, most recently from 53bb179 to e282e0a Compare April 29, 2025 19:57
@sosthene-nitrokey sosthene-nitrokey mentioned this pull request Apr 29, 2025
3 tasks
Comment thread src/spsc.rs
Comment thread src/spsc.rs Outdated

@reitermarkus reitermarkus left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One small nit, otherwise looks good now.

Comment thread src/spsc.rs Outdated
zeenix
zeenix previously approved these changes Aug 5, 2025
@zeenix zeenix enabled auto-merge August 5, 2025 20:25
@zeenix

zeenix commented Aug 5, 2025

Copy link
Copy Markdown
Contributor

@reitermarkus even with my new super powers 🦸‍♂️, it'll still need your approval since you requested changes.

@zeenix zeenix requested a review from reitermarkus August 7, 2025 08:45
@zeenix

zeenix commented Aug 12, 2025

Copy link
Copy Markdown
Contributor

@reitermarkus even with my new super powers 🦸‍♂️, it'll still need your approval since you requested changes.

@sosthene-nitrokey I think @reitermarkus has no time. Since you need to rebase this PR anyway, perhaps best you close this and create a new PR?

auto-merge was automatically disabled August 13, 2025 06:52

Head branch was pushed to by a user without write access

@zeenix zeenix enabled auto-merge August 13, 2025 08:47
@sosthene-nitrokey

Copy link
Copy Markdown
Contributor Author

Re-opened as #590

auto-merge was automatically disabled August 18, 2025 10:03

Pull request was closed

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.

3 participants