Module contracts

🔬This is a nightly-only experimental API. (contracts #128044)

Unstable module containing the unstable contracts lang items and attribute macros.

Re-exports

pub use crate::macros::builtin::contracts_ensures as ensures;Experimental

pub use crate::macros::builtin::contracts_requires as requires;Experimental

Functions

build_check_ensuresExperimental

This is an identity function used as part of the desugaring of the #[ensures] attribute.