Crate disabled_contracts[−][src]
Expand description
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 |