{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"//"}]}
        // wouldn't then be stalled on an infer var.
        // No need to walk into goal subtrees that certainly hold, since they
        if inspect_goal.result() == Ok(Certainty::Yes) {