{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"(0..NUM_PREINTERNED_FRESH_FLOAT_TYS).map(|n|"}]}
            (0..NUM_PREINTERNED_FRESH_FLOAT_TYS).map(|n| mk(Infer(ty::FreshFloatTy(n)))).collect();
        let fresh_float_tys: Vec<_> =