{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"let"}]}
        let (for_universe, root_vid) = match target_vid.into() {
        assert!(!source_term.has_escaping_bound_vars());
            TermVid::Ty(ty_vid) => {