This crate provides the #[expectation] attribute. Its use is documented in the expectation crate.
#[expectation]
expectation