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