{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"(&TypeVariableValue::Known"}]}
            (&TypeVariableValue::Known { .. }, &TypeVariableValue::Unknown { .. }) => Ok(*value1),
            // If one side is known, prefer that one.
            (&TypeVariableValue::Unknown { .. }, &TypeVariableValue::Known { .. }) => Ok(*value2),