| fn original_clusterfuzz_code() { | 
 |     _ = atan2(1,.1); | 
 | } | 
 |  | 
 | fn more_tests_that_would_fail() { | 
 |     // Builtin calls with mixed abstract args would fail because AInt would not materialize to AFloat. | 
 |     { | 
 |         let a = atan2(1, 0.1); | 
 |         let b = atan2(0.1, 1); | 
 |     } | 
 |  | 
 |     // Same for binary operators | 
 |     { | 
 |         let a = 1 + 1.5; | 
 |         let b = 1.5 + 1; | 
 |     } | 
 |  | 
 |     // Once above was fixed, builtin calls without assignment would also fail in backends because | 
 |     // abstract constant value is not handled by backends. These should be removed by RemovePhonies | 
 |     // transform. | 
 |     { | 
 |         _ = atan2(1, 0.1); | 
 |         _ = atan2(0.1, 1); | 
 |     } | 
 | } |