diff options
Diffstat (limited to 'library/core/src/lib.rs')
| -rw-r--r-- | library/core/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/core/src/lib.rs b/library/core/src/lib.rs index a31cca5d425..6a0051244f0 100644 --- a/library/core/src/lib.rs +++ b/library/core/src/lib.rs @@ -248,7 +248,7 @@ pub mod autodiff { } #[cfg(not(bootstrap))] -#[unstable(feature = "rustc_contracts", issue = "none")] +#[unstable(feature = "rustc_contracts", issue = "133866")] pub mod contracts; #[unstable(feature = "cfg_match", issue = "115585")] |