What type information should we extract from an INT_EQUAL
Opened this issue · 0 comments
2over12 commented
Currently we infer nothing but in one of our tests, the only way to infer that variable x is an integer is to observe that it is tested for equality against an integer... should we unify across compares?