39 lines
885 B
Rust
39 lines
885 B
Rust
//@ check-pass
|
|
|
|
// This test covers similar crashes from both #126521 and #126751.
|
|
|
|
macro_rules! foo {
|
|
($val:ident) => {
|
|
true;
|
|
};
|
|
}
|
|
|
|
macro_rules! bar {
|
|
($val:ident) => {
|
|
(5_i32.overflowing_sub(3));
|
|
};
|
|
}
|
|
|
|
fn allow() {
|
|
#[allow(semicolon_in_expressions_from_macros)]
|
|
let _ = foo!(x);
|
|
|
|
#[allow(semicolon_in_expressions_from_macros)]
|
|
let _ = bar!(x);
|
|
}
|
|
|
|
// The `semicolon_in_expressions_from_macros` lint seems to be emitted even if the
|
|
// lint level is `allow` as shown in the function above. The behavior of `expect`
|
|
// should mirror this behavior. However, no `unfulfilled_lint_expectation` lint
|
|
// is emitted, since the expectation is theoretically fulfilled.
|
|
fn expect() {
|
|
#[expect(semicolon_in_expressions_from_macros)]
|
|
let _ = foo!(x);
|
|
|
|
#[expect(semicolon_in_expressions_from_macros)]
|
|
let _ = bar!(x);
|
|
}
|
|
|
|
fn main() {
|
|
}
|