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/contracts-ensures-is-not-inherited-when-nesting.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/contracts-ensures-is-not-inherited-when-nesting.rs')
| -rw-r--r-- | tests/ui/contracts/contracts-ensures-is-not-inherited-when-nesting.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/ui/contracts/contracts-ensures-is-not-inherited-when-nesting.rs b/tests/ui/contracts/contracts-ensures-is-not-inherited-when-nesting.rs index 9872fdb1a18..f01a852fbff 100644 --- a/tests/ui/contracts/contracts-ensures-is-not-inherited-when-nesting.rs +++ b/tests/ui/contracts/contracts-ensures-is-not-inherited-when-nesting.rs @@ -1,6 +1,7 @@ //@ run-pass //@ 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::ensures(|ret| *ret > 0)] fn outer() -> i32 { |