On Mon, Jul 21, 2025 at 02:30:07PM -0700, Eduard Zingerman wrote: > On Sat, 2025-07-19 at 16:23 +0200, Paul Chaignon wrote: [...] > I think two more test cases are needed: > - when intersection is on the other side of the interval; > - when signed and unsigned intervals overlap in two places. Thanks for the review! I've added the two new tests in the v2, along with appropriate __msg checks. I also made sure the tests fail as expected without the first patch improving range refinement.
