{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // No need to walk into goal subtrees that certainly hold, since they
    fn visit_goal(&mut self, inspect_goal: &InspectGoal<'_, 'tcx>) {
        // wouldn't then be stalled on an infer var.