{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"self.ty_freshen_count"}]}
                    self.ty_freshen_count += 1;
                    let index = self.ty_freshen_count;
                    let t = mk_fresh(index);