{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":")"}]}
            ) => {
                ConstVariableValue::Unknown { origin: _, universe: universe2 },
                // If we unify two unbound variables, ?T and ?U, then whatever