{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"#[inline(never)]"}]}
    #[inline(never)]
    /// Performs a fixpoint computation over the obligation list.
    pub fn process_obligations<P>(&mut self, processor: &mut P) -> P::OUT