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