{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
                // RHS does not affect projection candidate assembly.
                // Replace the goal with an unconstrained infer var, so the
                let unconstrained_rhs = self.next_term_infer_of_kind(pred.term);