From 50358602955a10f547b91106419508ef0fab3735 Mon Sep 17 00:00:00 2001
From: Maks Orlovich <morlovich@chromium.org>
Date: Wed, 19 Jul 2023 12:34:25 -0400
Subject: [PATCH] Fix buglet in setPrioritySignals.

The second argument can be omitted/set to null/undefined to erase
mapping for a key. The actual handling logic was already handling
that, but we were not accepting this in the signature, or permitting in
the infra rep.
---
 spec.bs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.bs b/spec.bs
index 70de7bcde..eb8620ba7 100644
--- a/spec.bs
+++ b/spec.bs
@@ -2299,7 +2299,7 @@ interface InterestGroupBiddingScriptRunnerGlobalScope
         : InterestGroupScriptRunnerGlobalScope {
   boolean setBid(optional GenerateBidOutput generateBidOutput = {});
   undefined setPriority(double priority);
-  undefined setPrioritySignalsOverride(DOMString key, double priority);
+  undefined setPrioritySignalsOverride(DOMString key, optional double? priority);
 };
 
 dictionary AdRender {
@@ -2328,7 +2328,7 @@ Each {{InterestGroupBiddingScriptRunnerGlobalScope}} has a
 : <dfn>priority</dfn>
 :: Null or a {{double}}
 : <dfn>priority signals</dfn>
-:: An [=ordered map=] whose [=map/keys=] are [=strings=] and whose [=map/values=] are {{double}}
+:: An [=ordered map=] whose [=map/keys=] are [=strings=] and whose [=map/values=] are {{double}} or null.
 : <dfn>interest group</dfn>
 :: An [=interest group=]
 : <dfn>expected currency</dfn>