{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
                let pred = pred.no_bound_vars().unwrap();
                // We should never encounter higher-ranked normalizes-to goals.
                // Replace the goal with an unconstrained infer var, so the