-
Notifications
You must be signed in to change notification settings - Fork 12.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove ordering traits from HirId
#92233
Conversation
(rust-highfive has picked a reviewer for you, use r? to override) |
@rustbot author |
This comment was marked as outdated.
This comment was marked as outdated.
This comment has been minimized.
This comment has been minimized.
b294878
to
506d54b
Compare
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
1082ace
to
81dec4b
Compare
HirId
HirId
r? @cjgillot |
@rustbot ready |
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
a6c0192
to
7c7eb5d
Compare
This comment has been minimized.
This comment has been minimized.
☔ The latest upstream changes (presumably #94121) made this pull request unmergeable. Please resolve the merge conflicts. |
7c7eb5d
to
7747530
Compare
This comment has been minimized.
This comment has been minimized.
☔ The latest upstream changes (presumably #85321) made this pull request unmergeable. Please resolve the merge conflicts. |
7747530
to
491edf3
Compare
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
a043bed
to
b05c0b5
Compare
This comment has been minimized.
This comment has been minimized.
☔ The latest upstream changes (presumably #96082) made this pull request unmergeable. Please resolve the merge conflicts. |
@pierwill can you address the CI failure? thanks |
Rm Ord from LintExpectationId Edit ToStableHashKey impl Impl Partialord for Level using discriminant
b05c0b5
to
076fc29
Compare
The job Click to see the possible cause of the failure (guessed by this bot)
|
☔ The latest upstream changes (presumably #99334) made this pull request unmergeable. Please resolve the merge conflicts. |
Closing this as inactive. Feel free to reöpen or preferably create a new pull request |
See #90317.