contracts 0.6.10

Design-by-contract attributes
Documentation
1
2
3
4
5
error: predicate should be a boolean expression
 --> tests/ui/fail/compile_error_in_predicate.rs:3:12
  |
3 | #[requires(compile_error!("predicate should be a boolean expression"))]
  |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^