diff options
| author | Celina G. Val <celinval@amazon.com> | 2025-01-30 17:06:09 -0800 |
|---|---|---|
| committer | Celina G. Val <celinval@amazon.com> | 2025-02-03 13:55:15 -0800 |
| commit | ddbf54b67d9befcf1fb90613d2a6f7f6aa03141e (patch) | |
| tree | 1d4338ad613cc7b04680f8ed361c4920e1b4ae71 /library/core/src/contracts.rs | |
| parent | 2c4923e6bc9608557f0bc59f975006e590fd337d (diff) | |
| download | rust-ddbf54b67d9befcf1fb90613d2a6f7f6aa03141e.tar.gz rust-ddbf54b67d9befcf1fb90613d2a6f7f6aa03141e.zip | |
Rename rustc_contract to contract
This has now been approved as a language feature and no longer needs a `rustc_` prefix. Also change the `contracts` feature to be marked as incomplete and `contracts_internals` as internal.
Diffstat (limited to 'library/core/src/contracts.rs')
| -rw-r--r-- | library/core/src/contracts.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/core/src/contracts.rs b/library/core/src/contracts.rs index 0668cacb92c..c769e219e4d 100644 --- a/library/core/src/contracts.rs +++ b/library/core/src/contracts.rs @@ -6,7 +6,7 @@ pub use crate::macros::builtin::{contracts_ensures as ensures, contracts_require /// Emitted by rustc as a desugaring of `#[ensures(PRED)] fn foo() -> R { ... [return R;] ... }` /// into: `fn foo() { let _check = build_check_ensures(|ret| PRED) ... [return _check(R);] ... }` /// (including the implicit return of the tail expression, if any). -#[unstable(feature = "rustc_contracts_internals", issue = "133866" /* compiler-team#759 */)] +#[unstable(feature = "contracts_internals", issue = "128044" /* compiler-team#759 */)] #[lang = "contract_build_check_ensures"] #[track_caller] pub fn build_check_ensures<Ret, C>(cond: C) -> impl (Fn(Ret) -> Ret) + Copy |