rustc_mir_build::build::custom::parse

Macro parse_by_kind

Source
macro_rules! parse_by_kind {
    (
        $self:ident,
        $expr_id:expr,
        $expr_name:pat,
        $expected:literal,
        $(
            @call($name:ident, $args:ident) => $call_expr:expr,
        )*
        $(
            @variant($adt:ident, $variant:ident) => $variant_expr:expr,
        )*
        $(
            $pat:pat $(if $guard:expr)? => $expr:expr,
        )*
    ) => { ... };
}
Expand description

Helper macro for parsing custom MIR.

Example usage looks something like:

parse_by_kind!(
    self, // : &ParseCtxt
    expr_id, // what you're matching against
    "assignment", // the thing you're trying to parse
    @call("mir_assign", args) => { args[0] }, // match invocations of the `mir_assign` special function
    ExprKind::Assign { lhs, .. } => { lhs }, // match thir assignment expressions
    // no need for fallthrough case - reasonable error is automatically generated
)