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