Uh oh!
There was an error while loading. Please reload this page.
Replace some uses of NodeId with HirId - #61836
Conversation
rust-highfive
commented
Jun 14, 2019
r? @varkor (rust_highfive has picked a reviewer for you, use r? to override) |
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
e805bea to
95322abComparebors
commented
Jun 14, 2019
☔ The latest upstream changes (presumably #61817) made this pull request unmergeable. Please resolve the merge conflicts. |
95322ab to
9c280d6CompareUh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
rust-highfive
commented
Jun 16, 2019
The job Click to expand the log.I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
46759d2 to
d22807fComparebors
commented
Jun 17, 2019
☔ The latest upstream changes (presumably #61857) made this pull request unmergeable. Please resolve the merge conflicts. |
d22807f to
61e004dCompareljedrz
commented
Jun 17, 2019
Uh oh!
There was an error while loading. Please reload this page.
Zoxc
commented
Jun 17, 2019
r=me with the extra space removed @bors delegate+ |
bors
commented
Jun 17, 2019
✌️ @ljedrz can now approve this pull request |
Zoxc
commented
Jun 17, 2019
@bors p=1 |
The pre-space build is green, I don't think it will change ^^. @bors r=Zoxc |
bors
commented
Jun 17, 2019
📌 Commit e1bf56d has been approved by |
Replace some uses of NodeId with HirId We are still using `NodeId` in some spots where we could use `HirId` instead; this PR targets some of these spots and removes some of the associated `hir::map` functions.
ljedrz
commented
Jun 17, 2019
@Zoxc whoops, I forgot to do r=; can still I adjust it after r+ing? |
bors
commented
Jun 17, 2019
💡 This pull request was already approved, no need to approve it again.
|
bors
commented
Jun 17, 2019
📌 Commit e1bf56d has been approved by |
ljedrz
commented
Jun 17, 2019
I guess I can 🙂 . |
Centril
commented
Jun 17, 2019
But it doesn't matter once the PR is in a rollup because merge commit has already been made ^^ |
Rollup of 5 pull requests Successful merges: - #61702 (test more variants of enum-int-casting) - #61836 (Replace some uses of NodeId with HirId) - #61885 (Help LLVM better optimize slice::Iter(Mut)::len) - #61893 (make `Weak::ptr_eq`s into methods) - #61908 (don't ICE on large files) Failed merges: r? @ghost
rustup rust-lang/rust#61836 changelog: none
Changes: ```` rustup rust-lang#61836 fix suggestion for floating points inequality ````
Changes: ```` rustup rust-lang/rust#61836 fix suggestion for floating points inequality ````
We are still using
NodeIdin some spots where we could useHirIdinstead; this PR targets some of these spots and removes some of the associatedhir::mapfunctions.