//@ check-pass
macro_rules! dont_recover_here {
($e:expr) => {
compile_error!("Must not recover to single !1 expr");
};
(not $a:literal) => {};
}
dont_recover_here! { not 1 }
fn main() {}