f7d49fdf4f
Instead of using AST pretty printing. This is a step towards removing `token::Interpolated`, which will eventually (in #124141) be replaced with a token stream within invisible delimiters. This changes (improves) the output of the `stringify!` macro in some cases. This is allowed. As the `stringify!` docs say: "Note that the expanded results of the input tokens may change in the future. You should be careful if you rely on the output." Test changes: - tests/ui/macros/stringify.rs: this used to test both token stream pretty printing and AST pretty printing via different ways of invoking of `stringify!` (i.e. `$expr` vs `$tt`). But those two different invocations now give the same result, which is a nice consistency improvement. This removes the need for all the `c2*` macros. The AST pretty printer now has more thorough testing thanks to #125236. - tests/ui/proc-macro/*: minor improvements where small differences between `INPUT (DISPLAY)` output and `DEEP-RE-COLLECTED (DISPLAY)` output disappear.
55 lines
1018 B
Rust
55 lines
1018 B
Rust
//@ compile-flags: -Z trace-macros
|
|
|
|
#![recursion_limit = "4"]
|
|
|
|
macro_rules! my_faulty_macro {
|
|
() => {
|
|
my_faulty_macro!(bcd); //~ ERROR no rules
|
|
};
|
|
}
|
|
|
|
macro_rules! pat_macro {
|
|
() => {
|
|
pat_macro!(A{a:a, b:0, c:_, ..});
|
|
};
|
|
($a:pat) => {
|
|
$a //~ ERROR expected expression
|
|
};
|
|
}
|
|
|
|
macro_rules! my_recursive_macro {
|
|
() => {
|
|
my_recursive_macro!(); //~ ERROR recursion limit
|
|
};
|
|
}
|
|
|
|
macro_rules! my_macro {
|
|
() => {};
|
|
}
|
|
|
|
fn main() {
|
|
my_faulty_macro!();
|
|
my_recursive_macro!();
|
|
test!();
|
|
non_exisiting!();
|
|
derive!(Debug);
|
|
let a = pat_macro!();
|
|
}
|
|
|
|
#[my_macro]
|
|
fn use_bang_macro_as_attr() {}
|
|
|
|
#[derive(Debug)] //~ ERROR `derive` may only be applied to `struct`s
|
|
fn use_derive_macro_as_attr() {}
|
|
|
|
macro_rules! test {
|
|
(let $p:pat = $e:expr) => {test!(($p,$e))};
|
|
// this should be expr
|
|
// vvv
|
|
(($p:pat, $e:pat)) => {let $p = $e;}; //~ ERROR expected expression, found pattern `1+1`
|
|
}
|
|
|
|
fn foo() {
|
|
test!(let x = 1+1);
|
|
}
|