{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"ty::FreshTy(ct)"}]}
            ty::FreshTy(ct) | ty::FreshIntTy(ct) | ty::FreshFloatTy(ct) => {
                if ct >= self.ty_freshen_count {