There are some other randomized tests in ansi-tests/random that would catch this. In particular, RANDOM-TYPE-PROP.TRUNCATE.3 catches it after a few thousand iterations. I should run these all again and report failures; they're fast.
There are some other randomized tests in ansi-tests/random that would catch this. In particular, RANDOM- TYPE-PROP. TRUNCATE. 3 catches it after a few thousand iterations. I should run these all again and report failures; they're fast.