blob: a808528ab9e4fa8ee2d5646b82470bb2904cdb72 [file] [log] [blame] [edit]
//@ dont-require-annotations: NOTE
fn f() -> bool {
assert!(1 < 2)
//~^ ERROR mismatched types [E0308]
}
fn g() -> i32 {
assert_eq!(1, 1)
//~^ ERROR mismatched types [E0308]
}
fn h() -> bool {
assert_ne!(1, 2)
//~^ ERROR mismatched types [E0308]
}
// Test nested macros
macro_rules! g {
() => {
f!()
};
}
macro_rules! f {
() => {
assert!(1 < 2)
//~^ ERROR mismatched types [E0308]
};
}
fn nested() -> bool {
g!()
}
fn main() {}