core::contracts - Rust
Description: Unstable module containing the unstable contracts lang items and attribute macros.

# Module contracts

Source
🔬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_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.