{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"(0..NUM_PREINTERNED_FRESH_TYS).map(|n|"}]}
            (0..NUM_PREINTERNED_FRESH_TYS).map(|n| mk(Infer(ty::FreshTy(n)))).collect();
        let fresh_tys: Vec<_> =
        let fresh_int_tys: Vec<_> =