{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"(self.probe_ty_var(ty_vid).unwrap_err(),"}]}
                (self.probe_ty_var(ty_vid).unwrap_err(), TermVid::Ty(self.root_var(ty_vid)))
            TermVid::Ty(ty_vid) => {
            }