{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
        // Vars that show up in the rest of the goal substs may have been constrained by
            .with(self.cx(), goal.predicate.with_replaced_self_ty(self.cx(), normalized_self_ty));
        // normalizing the self type as well, since type variables are not uniquified.