Module contracts 

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

Available on non-crate feature ferrocene_certified only.

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

Functions

build_check_ensuresExperimental

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

Attribute Macros

ensuresExperimental

Attribute macro applied to a function to give it a post-condition.

requiresExperimental

Attribute macro applied to a function to give it a precondition.