Fix: interval refinement assertion ignores optional type #1699

Annotations

4 warnings

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.

cmake 3.31.2 is already installed and up-to-date. To reinstall 3.31.2, run: brew reinstall cmake

pkgconf 2.3.0_1 is already installed and up-to-date. To reinstall 2.3.0_1, run: brew reinstall pkgconf

gcc 14.2.0_1 is already installed and up-to-date. To reinstall 14.2.0_1, run: brew reinstall gcc