{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"RegionVariableValue::Unknown"}]}
            RegionVariableValue::Unknown { universe } => Err(universe),
            RegionVariableValue::Known { value } => Ok(value),
        }