{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.completed.push(outcome.clone())"}]}
        self.completed.push(outcome.clone())
    fn record_completed(&mut self, outcome: &Self::Obligation) {
    }