diff options
| author | ljedrz <ljedrz@gmail.com> | 2020-04-18 15:26:45 +0200 |
|---|---|---|
| committer | ljedrz <ljedrz@gmail.com> | 2020-04-19 21:14:19 +0200 |
| commit | 3c455fe8e1712af5996232053cd6ea3ea743a487 (patch) | |
| tree | 524a95353e86395f37e5cd242ff79dd2c141e743 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 28742a1146f10a4f09369baad027a464acb7a766 (diff) | |
| download | rust-3c455fe8e1712af5996232053cd6ea3ea743a487.tar.gz rust-3c455fe8e1712af5996232053cd6ea3ea743a487.zip | |
MIR: use span instead of NodeId to determine if optimized_mir should be run
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions