{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"match"}]}
        match self.probe_const_var(ct) {
    fn universe_of_ct(&self, ct: ty::ConstVid) -> Option<ty::UniverseIndex> {
            Err(universe) => Some(universe),