CREATE VIEW extraction causes row loss for grouped aggregate with `HAVING MIN(SET/ENUM) >= const`

CREATE TABLE t3 (c1 INT, c6 INT, c14 SET('a'));

INSERT INTO t3 VALUES (1, 1, 'a');

-- Source Original SQL

SELECT SUM(DISTINCT c1) AS col_1

FROM t3

GROUP BY c1, c6

HAVING MIN(c14) >= 1

ORDER BY c6;

-- View SQL

CREATE VIEW v AS

SELECT SUM(DISTINCT c1) AS col_1, c6

FROM t3

GROUP BY c1, c6

HAVING MIN(c14) >= 1;

-- Mutated SQL

SELECT col_1 FROM v ORDER BY c6;