🔬This is a nightly-only experimental API. (
contracts #128044)Expand description
Unstable module containing the unstable contracts lang items and attribute macros.
Functions§
- build_check_ ensures Experimental 
- This is an identity function used as part of the desugaring of the #[ensures]attribute.