error: contract annotations is only supported in functions with bodies
  --> $DIR/contract-annotation-limitations.rs:18:5
   |
LL |     #[core::contracts::ensures(|ret| ret.is_none_or(Stars::is_valid))]
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: contract annotations is only supported in functions with bodies
  --> $DIR/contract-annotation-limitations.rs:22:5
   |
LL |     #[core::contracts::ensures(|ret| ret.is_none_or(Stars::is_valid))]
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

warning: the feature `contracts` is incomplete and may not be safe to use and/or cause compiler crashes
  --> $DIR/contract-annotation-limitations.rs:4:12
   |
LL | #![feature(contracts)]
   |            ^^^^^^^^^
   |
   = note: see issue #128044 <https://github.com/rust-lang/rust/issues/128044> for more information
   = note: `#[warn(incomplete_features)]` on by default

error: aborting due to 2 previous errors; 1 warning emitted