1. 0d345cf Generalize induction and range analysis across type conversions. by Aart Bik ยท 8 years ago