1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// gate-test-contracts_internals
fn main() {
// intrinsics are guarded by contracts_internals feature gate.
core::intrinsics::contract_checks();
//~^ ERROR use of unstable library feature `contracts_internals`
core::intrinsics::contract_check_requires(|| true);
//~^ ERROR use of unstable library feature `contracts_internals`
core::intrinsics::contract_check_ensures(&1, |_|true);
//~^ ERROR use of unstable library feature `contracts_internals`
core::contracts::build_check_ensures(|_: &()| true);
//~^ ERROR use of unstable library feature `contracts_internals`
// ast extensions are guarded by contracts_internals feature gate
fn identity_1() -> i32 contract_requires(|| true) { 10 }
//~^ ERROR contract internal machinery is for internal use only
fn identity_2() -> i32 contract_ensures(|_| true) { 10 }
//~^ ERROR contract internal machinery is for internal use only
}
|
