{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
        // edges, which winds up enforcing the same condition.
        // inference variables, we use a verify constraint instead of adding
        let kind = alias_ty.kind(self.tcx);