diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-04-15 09:10:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 09:10:05 +0200 |
| commit | 7341cad3f312df5d735f2a8c3f3eb4480ed3a95d (patch) | |
| tree | 1c90717e2a9fde66e583b7411ffe5f213a927263 /src/tools/publish_toolstate.py | |
| parent | 8da59521e1d88677fa875770e5a3e091a199265f (diff) | |
| parent | c15e13ae167b3f72270e0b99333e71ba1bef9ffc (diff) | |
| download | rust-7341cad3f312df5d735f2a8c3f3eb4480ed3a95d.tar.gz rust-7341cad3f312df5d735f2a8c3f3eb4480ed3a95d.zip | |
Rollup merge of #71116 - marmeladema:dummy-hir-id-removal, r=eddyb
Entirely remove `DUMMY_HIR_ID` Some helpers functions have been introduced to deal with (buggy) cases where either a `NodeId` or a `DefId` do not have a corresponding `HirId`. Those cases are tracked in issue #71104.
Diffstat (limited to 'src/tools/publish_toolstate.py')
0 files changed, 0 insertions, 0 deletions