diff options
| author | bors <bors@rust-lang.org> | 2020-11-03 16:42:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-11-03 16:42:59 +0000 |
| commit | 225ce5ff588a500eea636ecb1bd53245e9adc386 (patch) | |
| tree | e0792dd969910a6256da4bdabf4a503e9623d8c9 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | 2fe87a89c9b37978b9589ce7930577f05aa91cb2 (diff) | |
| parent | d780f61d7b3febdf0808dfef9abe80e95f2d46f8 (diff) | |
| download | rust-225ce5ff588a500eea636ecb1bd53245e9adc386.tar.gz rust-225ce5ff588a500eea636ecb1bd53245e9adc386.zip | |
Auto merge of #6233 - montrivo:manual_ok_or, r=flip1995
add manual_ok_or lint Implements partially #5923 changelog: add lint manual_ok_or
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions