{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"(0..inner.int_unification_table().len())"}]}
            (0..inner.int_unification_table().len())
        vars.extend(
                .map(|i| ty::IntVid::from_usize(i))