{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"&mut"}]}
        &mut self,
    fn register_goals(
        obligations: impl IntoIterator<Item = Goal<'tcx, ty::Predicate<'tcx>>>,