mirror of https://github.com/rust-lang/rust.git
24 lines
1019 B
Plaintext
24 lines
1019 B
Plaintext
error[E0658]: use of unstable library feature `contracts`
|
|
--> $DIR/feature-gate-contracts.rs:3:3
|
|
|
|
|
LL | #[core::contracts::requires(x > 0)]
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
= note: see issue #128044 <https://github.com/rust-lang/rust/issues/128044> for more information
|
|
= help: add `#![feature(contracts)]` to the crate attributes to enable
|
|
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
|
|
error[E0658]: use of unstable library feature `contracts`
|
|
--> $DIR/feature-gate-contracts.rs:7:3
|
|
|
|
|
LL | #[core::contracts::ensures(|ret| *ret > 0)]
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
= note: see issue #128044 <https://github.com/rust-lang/rust/issues/128044> for more information
|
|
= help: add `#![feature(contracts)]` to the crate attributes to enable
|
|
= note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0658`.
|