Crate disabled_contracts

Obviously no-op versions of the contracts crate’s macros.

Refer to that crate for semantics of the real macros.

Attribute Macros

contract_trait

debug_ensures

debug_invariant

debug_requires

ensures

invariant

requires

test_ensures

test_invariant

test_requires