{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"RegionVariableValue::Known"}]}
            RegionVariableValue::Known { value } => Ok(value),
        match self.unification_table_mut().probe_value(vid) {
            RegionVariableValue::Unknown { universe } => Err(universe),