Signed Integer Overflow Cannot Be Represented In Type Interference