{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"&TypeVariableValue::Unknown"}]}
                &TypeVariableValue::Unknown { universe: universe1 },
            (
                &TypeVariableValue::Unknown { universe: universe2 },