{"ast_node_type":"variable","tokens":[{"end":57,"kind":"keyword","start":0,"text":"let"}]}
                    let new_uv = ty::UniverseIndex::from(
                    let uv = var.universe();
                        uv.index().saturating_sub(max_input_universe.index()),