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 /tests/ui/contracts/contract-attributes-nest.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 'tests/ui/contracts/contract-attributes-nest.rs')
| -rw-r--r-- | tests/ui/contracts/contract-attributes-nest.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/ui/contracts/contract-attributes-nest.rs b/tests/ui/contracts/contract-attributes-nest.rs index 1cda21f10d7..e1e61b88f28 100644 --- a/tests/ui/contracts/contract-attributes-nest.rs +++ b/tests/ui/contracts/contract-attributes-nest.rs @@ -16,7 +16,8 @@ //@ [chk_fail_pre] compile-flags: -Zcontract-checks=yes //@ [chk_fail_post] compile-flags: -Zcontract-checks=yes -#![feature(rustc_contracts)] +#![feature(contracts)] +//~^ WARN the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes [incomplete_features] #[core::contracts::requires(x.baz > 0)] #[core::contracts::ensures(|ret| *ret > 100)] |