Timon Meyer

Minimize: restructure `ConstValue` minimization

1

Currently the minimizer only supports a few const values, and it assumes they are all represented as scalars. However what should actually happen is that it should recursively translate the...

The type minimization currently doesn't reuse the result, which can lead to exponential blow up. `tests/pass/enums.rs` has an example of a type which currently cannot be minimized with 32GB of...

Minimizing the following program leads to a MiniRust program that isn't well-formed: ```rust fn main() { let x = (1, 0) == (0, 1); } ```