-
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
make erase_regions_ty
query anonymous
#45364
Conversation
@bors try |
make `erase_regions_ty` query anonymous r? @michaelwoerister
☀️ Test successful - status-travis |
Doesn't look especially significant, though it does help a few tests. |
Thanks, @Mark-Simulacrum! That's indeed what I wanted. @nikomatsakis I think those are pretty good improvements for a one line change Could we even go further and not even allocate a node if it is anonymous and has no inputs? |
There might be room for further improvement here by not even allocating a @bors r+ |
📌 Commit b5e2451 has been approved by |
I opened #45408 regarding further optimization. |
make `erase_regions_ty` query anonymous r? @michaelwoerister
☀️ Test successful - status-appveyor, status-travis |
r? @michaelwoerister