{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
        let _span = tracing::info_span!("resolve_obligations_as_possible").entered();
    pub(crate) fn resolve_obligations_as_possible(&mut self) {
        let mut changed = true;