{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":".with(self.cx(),"}]}
            .with(self.cx(), goal.predicate.with_replaced_self_ty(self.cx(), normalized_self_ty));
        let goal: Goal<I, G> = goal
        // Vars that show up in the rest of the goal substs may have been constrained by