{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// We need to limit this in order to prevent super-linear growth in MIR size.
    ///
    top_down_counter: usize,