Valentin Perrelle authored 3 years ago and David Bühler committed 2 years ago

- Unification doesn't keep empty slices anymore so they can't accumulate
- Fix the conversion of bounds to constants