diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-08-30 09:43:36 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-08-30 09:43:36 +0000 |
| commit | 72725529e19dcf52efd1fc1507e20a9c35371963 (patch) | |
| tree | 161ac6a9796dccad80aea3e611cadf5f79b3bae5 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 7659abc63d33223fa366c8781c81698e28a21e6c (diff) | |
| download | rust-72725529e19dcf52efd1fc1507e20a9c35371963.tar.gz rust-72725529e19dcf52efd1fc1507e20a9c35371963.zip | |
clean up `local_overflow_limit` computation
fixes bors snafu where it merged an outdated commit and missed this change
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions