{"ast_node_type":"function","tokens":[{"end":68,"kind":"keyword","start":0,"text":"fn"}]}
    fn visit_goal(&mut self, inspect_goal: &InspectGoal<'_, 'tcx>) {
        // No need to walk into goal subtrees that certainly hold, since they