Module `contracts`

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

Functions

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