tests/ui/macros/ice-in-tokenstream-for-contracts-issue-140683.rs

#![feature(contracts)]
#![allow(incomplete_features)]

struct T;

impl T {
    #[core::contracts::ensures] //~ ERROR expected a `Fn(&_)` closure, found `()`
    fn b() {(loop)}
    //~^ ERROR expected `{`, found `)`
    //~| ERROR expected `{`, found `)`
}

fn main() {}