{"ast_node_type":"function","tokens":[{"end":75,"kind":"keyword","start":0,"text":"fn"}]}
    fn universe_of_ty(&self, vid: ty::TyVid) -> Option<ty::UniverseIndex> {
        match self.probe_ty_var(vid) {