{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"}};"}]}
    }};
        pats!(@pat($($args)*, ctor:ctor) $($rest)*)
    (@ctor($($args:tt)*) Variant.$variant:literal $($rest:tt)*) => {{