diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-08-17 17:45:17 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2023-08-17 17:45:17 +0200 |
| commit | 5875bd2b5f2b593d708459111bff42ba4535cebc (patch) | |
| tree | 0ead5056e0a8708d69e37b9816eb1f9ee15c578a /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 7e4621736224c07d80a43e771dd0e115676880f8 (diff) | |
| download | rust-5875bd2b5f2b593d708459111bff42ba4535cebc.tar.gz rust-5875bd2b5f2b593d708459111bff42ba4535cebc.zip | |
Use `HirId` from `PlaceWithHirId` rather than using the one provided to the function
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions