diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2020-07-22 22:43:18 +0100 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-06 11:19:31 +0100 |
| commit | bc08b791bce1c5b31052da5dfda74302b6f61a99 (patch) | |
| tree | 3b914ec159f4221ef06c76f3f74d5fd25fbdf00f /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-abort.diff | |
| parent | f52b2d88903036beb0533b04011064575b3abd36 (diff) | |
| download | rust-bc08b791bce1c5b31052da5dfda74302b6f61a99.tar.gz rust-bc08b791bce1c5b31052da5dfda74302b6f61a99.zip | |
Fix bugs in evaluating WellFormed predicates
- List the nestsed obligations in an order that works with the single pass used by evaluation - Propagate recursion depth correctly
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.panic-abort.diff')
0 files changed, 0 insertions, 0 deletions