mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-27 18:56:24 +00:00
76b04437be
Notes about tests: - tests/ui/parser/macro/trait-object-macro-matcher.rs: the syntax error is duplicated, because it occurs now when parsing the decl macro input, and also when parsing the expanded decl macro. But this won't show up for normal users due to error de-duplication. - tests/ui/associated-consts/issue-93835.rs: similar, plus there are some additional errors about this very broken code. - The changes to metavariable descriptions in #132629 are now visible in error message for several tests.
34 lines
878 B
Rust
34 lines
878 B
Rust
macro_rules! overly_complicated {
|
|
($fnname:ident, $arg:ident, $ty:ty, $body:block, $val:expr, $pat:pat, $res:path) =>
|
|
({
|
|
fn $fnname($arg: $ty) -> Option<$ty> $body
|
|
match $fnname($val) {
|
|
Some($pat) => {
|
|
$res
|
|
}
|
|
_ => { panic!(); }
|
|
}
|
|
})
|
|
|
|
}
|
|
|
|
macro_rules! qpath {
|
|
(path, <$type:ty as $trait:path>::$name:ident) => {
|
|
<$type as $trait>::$name
|
|
};
|
|
|
|
(ty, <$type:ty as $trait:ty>::$name:ident) => {
|
|
<$type as $trait>::$name
|
|
//~^ ERROR expected identifier, found metavariable
|
|
};
|
|
}
|
|
|
|
pub fn main() {
|
|
let _: qpath!(path, <str as ToOwned>::Owned);
|
|
let _: qpath!(ty, <str as ToOwned>::Owned);
|
|
let _: qpath!(ty, <str as !>::Owned);
|
|
|
|
assert!(overly_complicated!(f, x, Option<usize>, { return Some(x); },
|
|
Some(8), Some(y), y) == 8)
|
|
}
|