{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
    {
        P: ObligationProcessor<Obligation = O>,
        let mut stack = std::mem::take(&mut self.reused_node_vec);