{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"ConstVariableValue::Known"}]}
            ConstVariableValue::Known { .. } => None,
        match self.inner.borrow_mut().const_unification_table().probe_value(vid) {
            ConstVariableValue::Unknown { origin, .. } => Some(origin),