From 3933d895e3bb7223a2e6c22e94e4a5441fc0fa2c Mon Sep 17 00:00:00 2001
From: Benjamin DeMann <benjamin.demann@gmail.com>
Date: Wed, 24 Jan 2024 12:56:58 -0700
Subject: [PATCH] make sure headers have unique keys

---
 property_tests/arbitraries/http/headers_arb.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/property_tests/arbitraries/http/headers_arb.ts b/property_tests/arbitraries/http/headers_arb.ts
index 87a7f93685..f368b799e9 100644
--- a/property_tests/arbitraries/http/headers_arb.ts
+++ b/property_tests/arbitraries/http/headers_arb.ts
@@ -11,5 +11,5 @@ export function HttpHeadersArb() {
 
     const HeaderArb = fc.tuple(HeaderNameArb, HeaderValueArb);
 
-    return fc.array(HeaderArb);
+    return fc.uniqueArray(HeaderArb, { selector: ([name, _]) => name });
 }