{"ast_node_type":"variable","tokens":[{"end":44,"kind":"keyword","start":0,"text":"let"}]}
                    let uv = var.universe();
                for var in var_kinds.iter_mut() {
                    let new_uv = ty::UniverseIndex::from(