Tracking Issue for const_assume feature
#76972
Labels
A-const-eval
Area: constant evaluation (mir interpretation)
C-tracking-issue
Category: A tracking issue for an RFC or an unstable feature.
S-tracking-perma-unstable
Status: The feature will stay unstable indefinitely.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
T-lang
Relevant to the language team, which will review and decide on the PR/issue.
Comments
tesuji
added
the
C-tracking-issue
rustbot
added
A-const-eval
joshtriplett
added
the
S-tracking-perma-unstable
|
WG-const-eval has confirmed that this is fine: #119452 (comment) Feel free to send in a PR flipping the stability attribute. It's an unstable intrinsic so we aren't really committing to anything. |
AngelicosPhosphoros
added a commit
to AngelicosPhosphoros/rust
that referenced
this issue
Jan 4, 2024
Closes rust-lang#76972 Blocks rust-lang#119452 Approved in rust-lang#119452 (comment)
compiler-errors
added a commit
to compiler-errors/rust
that referenced
this issue
Jan 5, 2024
…r=RalfJung Make `intrinsics::assume` const stable Closes rust-lang#76972 Blocks rust-lang#119452 Approved in rust-lang#119452 (comment) r? `@RalfJung`
rust-timer
added a commit
to rust-lang-ci/rust
that referenced
this issue
Jan 5, 2024
Rollup merge of rust-lang#119583 - AngelicosPhosphoros:const_assume, r=RalfJung Make `intrinsics::assume` const stable Closes rust-lang#76972 Blocks rust-lang#119452 Approved in rust-lang#119452 (comment) r? `@RalfJung`
github-actions bot
pushed a commit
to rust-lang/miri
that referenced
this issue
Jan 6, 2024
Make `intrinsics::assume` const stable Closes rust-lang/rust#76972 Blocks rust-lang/rust#119452 Approved in rust-lang/rust#119452 (comment) r? `@RalfJung`
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The feature gate for the issue is
#![feature(const_assume)].It makes
core::intrinsics::assumeusable in const contexts.About tracking issues
Tracking issues are used to record the overall progress of implementation.
They are also used as hubs connecting to other relevant issues, e.g., bugs or open design questions.
A tracking issue is however not meant for large scale discussion, questions, or bug reports about a feature.
Instead, open a dedicated issue for the specific matter and add the relevant feature gate label.
Steps
Unresolved Questions
Implementation history
The text was updated successfully, but these errors were encountered: