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