{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"TermVid::Ty(ty_vid)"}]}
            TermVid::Ty(ty_vid) => {
        let (for_universe, root_vid) = match target_vid.into() {
                (self.probe_ty_var(ty_vid).unwrap_err(), TermVid::Ty(self.root_var(ty_vid)))