{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"if"}]}
        if inspect_goal.result() == Ok(Certainty::Yes) {
        // wouldn't then be stalled on an infer var.
            return;