Macro assert_ast

macro_rules! assert_ast {
    ($code:expr, $($tt:tt)*) => { ... };
    (@top $tester:ident, $var:ident as $ty:ty { $($inner:tt)* } $($rest:tt)*) => { ... };
    (@top $tester:ident, ...) => { ... };
    (@top $tester:ident, ) => { ... };
    (@seq $path:expr, $expr:expr => [ $($inner:tt)* ] $($rest:tt)*) => { ... };
    (@seq $path:expr, with $inner_var:ident: $ty:ty = $expr:expr => { $($inner:tt)* } $($rest:tt)*) => { ... };
    (@seq $path:expr, $expr:expr; $($rest:tt)*) => { ... };
    (@seq $path:expr, $stmt:stmt; $($rest:tt)*) => { ... };
    (@seq $path:expr,) => { ... };
    (@loop $path:expr, $iter:ident, $var:ident as $ty:ty { $($inner:tt)* } $($rest:tt)*) => { ... };
    (@loop $path:expr, $iter:ident, ...) => { ... };
    (@loop $path:expr, $iter:ident,) => { ... };
    (@seq $path:expr, with $(rest:tt)*) => { ... };
    (@loop, $path:expr, $iter:ident, $(rest:tt)*) => { ... };
}