🐛 Describe the bug

@isuruf, I'm trying to get you a repro, but I'm posting this in case it's obvious. Error looks like this.

This error is very strange because when I look at logs I actually do see 2*u48>0 already asserted. So I don't understand why we're failing to match lol.

The reporter says when #135621 is reverted they are able to get to the end

Internal xref: https://fb.workplace.com/groups/6829516587176185/permalink/7886514054809761/

Versions

main

cc @chauhang @penguinwu