{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            obligation_inspector: self.obligation_inspector.clone(),
        forked.inner.borrow_mut().projection_cache().clear();