| //@ 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() {} |