mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add if_let_guard and let_chains pretty printer tests

Browse Source
This commit is contained in:
David Tolnay 2023-11-29 23:02:05 -08:00
parent f967532a47
commit 419b26931b
No known key found for this signature in database
GPG Key ID: F9BA143B95FF6D82
1 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
tests/ui/macros/stringify.rs
View File

@ -10,6 +10,8 @@
#![feature(coroutines)] #![feature(coroutines)]
#![feature(decl_macro)] #![feature(decl_macro)]
#![feature(explicit_tail_calls)] #![feature(explicit_tail_calls)]
#![feature(if_let_guard)]
#![feature(let_chains)]
#![feature(more_qualified_paths)] #![feature(more_qualified_paths)]
#![feature(never_patterns)] #![feature(never_patterns)]
#![feature(raw_ref_op)] #![feature(raw_ref_op)]
@ -47,7 +49,7 @@ macro_rules! c1 {
// easy to find the cases where the two pretty-printing approaches give // easy to find the cases where the two pretty-printing approaches give
// different results. // different results.
macro_rules! c2 { macro_rules! c2 {
($frag:ident, [$($tt:tt)*], $s1:literal, $s2:literal) => { ($frag:ident, [$($tt:tt)*], $s1:literal, $s2:literal $(,)?) => {
assert_ne!($s1, $s2, "should use `c1!` instead"); assert_ne!($s1, $s2, "should use `c1!` instead");
assert_eq!($frag!($($tt)*), $s1); assert_eq!($frag!($($tt)*), $s1);
assert_eq!(stringify!($($tt)*), $s2); assert_eq!(stringify!($($tt)*), $s2);
@ -136,6 +138,23 @@ fn test_expr() {
// ExprKind::Let // ExprKind::Let
c1!(expr, [ if let Some(a) = b { c } else { d } ], "if let Some(a) = b { c } else { d }"); c1!(expr, [ if let Some(a) = b { c } else { d } ], "if let Some(a) = b { c } else { d }");
c1!(expr, [ if let _ = true && false {} ], "if let _ = true && false {}");
c1!(expr, [ if let _ = (true && false) {} ], "if let _ = (true && false) {}");
macro_rules! c2_if_let {
($expr:expr, $expr_expected:expr, $tokens_expected:expr $(,)?) => {
c2!(expr, [ if let _ = $expr {} ], $expr_expected, $tokens_expected);
};
}
c2_if_let!(
true && false,
"if let _ = (true && false) {}",
"if let _ = true && false {}",
);
c2!(expr,
[ match () { _ if let _ = Struct {} => {} } ],
"match () { _ if let _ = (Struct {}) => {} }", // FIXME: do not parenthesize
"match() { _ if let _ = Struct {} => {} }",
);
// ExprKind::If // ExprKind::If
c1!(expr, [ if true {} ], "if true {}"); c1!(expr, [ if true {} ], "if true {}");