Skip to content

Conversation

@chrysn
Copy link
Member

@chrysn chrysn commented Oct 3, 2022

This has become trivially possible; no investigation was done into which Rust release that started at.

This has become trivially possible; no investigation was done into which
Rust release that started at.
@chrysn chrysn enabled auto-merge October 3, 2022 10:12
@chrysn chrysn disabled auto-merge October 3, 2022 10:18
@chrysn
Copy link
Member Author

chrysn commented Oct 3, 2022

Oups, that was only the commented-out version anyway -- and the original one still doesn't work as const. Abandoning; looks like the smoothest path to a non-clumsy implementation is waiting for rust-lang/rust#91930.

@chrysn chrysn closed this Oct 3, 2022
@chrysn chrysn deleted the const-ztimer-duration branch October 3, 2022 10:27
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