{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"if"}]}
                if universe.can_name(universe_of_value) {
                    Ok(RegionVariableValue::Known { value })