{"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 const_var_origin(&self, vid: ConstVid) -> Option<ConstVariableOrigin> {
            ConstVariableValue::Known { .. } => None,