error: `binds = ...` is missing
 --> $DIR/monotonic-no-binds.rs:5:17
  |
5 |     #[monotonic()]
  |                 ^