{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"match"}]}
        match self.inner.borrow_mut().const_unification_table().probe_value(vid) {
    pub fn probe_const_var(&self, vid: ty::ConstVid) -> Result<ty::Const<'tcx>, ty::UniverseIndex> {
            ConstVariableValue::Known { value } => Ok(value),