Applying some type widening in ReturnElimination to avoid triggering AdtSpecialization#1466
Merged
vkuncak merged 1 commit intoepfl-lara:mainfrom mario-bucev:widening-returneliminationNov 2, 2023
+59-5
