Attribute Macro requires 

#[requires]

A pre-condition of a function or trait item

The inside of a requires may look like Rust code, but it is in fact pearlite.

See also the guide: requires and ensures.

Example

#[requires(x@ == 1)]
fn foo(x: i32) {}