CS doesn't apply having with impossible condition on top of aggregation

MariaDB [test]> select sum(i) from cs1 HAVING -1 != -1;

+--------+

| sum(i) |

+--------+

|   NULL |

+--------+

1 row in set, 1 warning (0.012 sec)

MariaDB [test]> select calgettrace(0)\G

*************************** 1. row ***************************

calgettrace(0): 

Desc Mode Table TableOID ReferencedColumns PIO LIO PBE Elapsed Rows 

TCS  UM   -     -        -                 -   -   -   0.000   0    

TAS  UM   -     -        -                 -   -   -   0.000   1    

TNS  UM   -     -        -                 -   -   -   0.000   1    

1 row in set (0.000 sec)

MariaDB [test]>