Tomasz Miąsko c2af254e3b Disable MatchBranchSimplification ...

This optimization can result in unsoundness, because it introduces
additional uses of a place holding the discriminant value without
ensuring that it is valid to do so.

2020-10-20 00:00:00 +00:00

..

src

Disable MatchBranchSimplification

2020-10-20 00:00:00 +00:00

Cargo.toml

Use tracing spans to trace the entire MIR interp stack

2020-09-28 20:07:57 +02:00