Wrong result: HAVING with COUNT(DISTINCT) is evaluated incorrectly when the grouped query also has a join and a window function

CREATE TABLE t (issue INT NOT NULL, comp INT NOT NULL, build INT NOT NULL, w INT NOT NULL);

CREATE TABLE c (id INT PRIMARY KEY, fold VARCHAR(10) NOT NULL);

INSERT INTO c VALUES (10, 'a');

INSERT INTO t VALUES (1, 10, 1, 0), (1, 10, 2, 0), (2, 10, 1, 0);

-- Issue 1 is in two builds; issue 2 is in one.

-- 1. Expected: issue 2, total 1.  Actual: no rows.

SELECT t.issue, COUNT(*) OVER () AS total

  FROM t JOIN c ON c.id = t.comp

  GROUP BY t.issue

  HAVING COUNT(DISTINCT t.build) < 2 AND SUM(t.w) < 1;

-- 2. Expected: issue 2, total 1.  Actual: issues 2 and 1, total 2.

SELECT t.issue, COUNT(*) OVER () AS total

  FROM t JOIN c ON c.id = t.comp

  GROUP BY t.issue

  HAVING COUNT(DISTINCT t.build) < 2;

-- 3. Expected: issue 1, total 1.  Actual: no rows.

SELECT t.issue, COUNT(*) OVER () AS total

  FROM t JOIN c ON c.id = t.comp

  GROUP BY t.issue

  HAVING COUNT(DISTINCT t.build) > 1;

-- 4. Query 1 without the join.  Actual: issue 2, total 1 (correct).

SELECT t.issue, COUNT(*) OVER () AS total

  FROM t

  GROUP BY t.issue

  HAVING COUNT(DISTINCT t.build) < 2 AND SUM(t.w) < 1;

-- 5. Query 1 with the window moved to an outer query.  Actual: issue 2, total 1 (correct).

SELECT g.issue, COUNT(*) OVER () AS total

  FROM (SELECT t.issue

          FROM t JOIN c ON c.id = t.comp

          GROUP BY t.issue

          HAVING COUNT(DISTINCT t.build) < 2 AND SUM(t.w) < 1) AS g;