#[requires]🔬This is a nightly-only experimental API. (
contracts #128044)Available on non-crate feature
ferrocene_certified only.Expand description
Attribute macro applied to a function to give it a precondition.
The attribute carries an argument token-tree which is eventually parsed as an boolean expression with access to the function’s formal parameters