{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"ConstVariableValue::Known"}]}
            ConstVariableValue::Known { value } => Ok(value),
        match self.inner.borrow_mut().const_unification_table().probe_value(vid) {
            ConstVariableValue::Unknown { origin: _, universe } => Err(universe),