diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-07 19:06:34 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-04-07 19:06:34 +0200 |
| commit | a7400a8b9065b3563d7345c220590282d768be65 (patch) | |
| tree | e8dc91b803855c74bf1d1298c3c3f4347d4d823f | |
| parent | e1a69da856c31bfaad602388f69ea86f111ebfe6 (diff) | |
| download | rust-a7400a8b9065b3563d7345c220590282d768be65.tar.gz rust-a7400a8b9065b3563d7345c220590282d768be65.zip | |
update intrinsics/mod.rs comment about const intrinsics
| -rw-r--r-- | library/core/src/intrinsics/mod.rs | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/library/core/src/intrinsics/mod.rs b/library/core/src/intrinsics/mod.rs index 7fa57df9928..933b5aec70c 100644 --- a/library/core/src/intrinsics/mod.rs +++ b/library/core/src/intrinsics/mod.rs @@ -5,15 +5,11 @@ //! //! # Const intrinsics //! -//! Note: any changes to the constness of intrinsics should be discussed with the language team. -//! This includes changes in the stability of the constness. -//! -//! //FIXME(#132735) "old" style intrinsics support has been removed -//! In order to make an intrinsic usable at compile-time, it needs to be declared in the "new" -//! style, i.e. as a `#[rustc_intrinsic]` function, not inside an `extern` block. Then copy the -//! implementation from <https://github.com/rust-lang/miri/blob/master/src/intrinsics> to +//! In order to make an intrinsic unstable usable at compile-time, copy the implementation from +//! <https://github.com/rust-lang/miri/blob/master/src/intrinsics> to //! <https://github.com/rust-lang/rust/blob/master/compiler/rustc_const_eval/src/interpret/intrinsics.rs> -//! and make the intrinsic declaration a `const fn`. +//! and make the intrinsic declaration below a `const fn`. This should be done in coordination with +//! wg-const-eval. //! //! If an intrinsic is supposed to be used from a `const fn` with a `rustc_const_stable` attribute, //! `#[rustc_intrinsic_const_stable_indirect]` needs to be added to the intrinsic. Such a change requires |
