diff options
| author | lcnr <rust@lcnr.de> | 2023-09-11 15:48:04 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2023-09-11 15:50:09 +0200 |
| commit | eac55eec9eb7803a91b8fb271919a86a79b00fc6 (patch) | |
| tree | 62e2ffa0fceaf4a50626f7ee3c5cd1f99a97e66a /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 8225a2e9ecf6664f4ad9ccb4d2d969478479a206 (diff) | |
| download | rust-eac55eec9eb7803a91b8fb271919a86a79b00fc6.tar.gz rust-eac55eec9eb7803a91b8fb271919a86a79b00fc6.zip | |
dedup `GoalEvaluationStep` and `GoalCandidate`
also handle 2 panics when dumping proof trees for the whole test suite - need to actually tell the proof tree builder about overflow - need to handle a recursion_limit of 0 :<
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions