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