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