-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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
Rename LayoutDetails to just Layout. #69700
Conversation
(rust_highfive has picked a reviewer for you, use r? to override) |
@bors r+ rollup |
📌 Commit 6804664 has been approved by |
…an-DPC Rename LayoutDetails to just Layout.
r? @eddyb |
Seems reasonable, though I somewhat expected a bit more bikeshed (UCG had a lot of bikeshed about this.^^) |
@bors r- |
Fair, although this doesn't change the |
Yeah, that's why I agree the rename makes sense. What happens in Miri is a bit annoying, but not terrible. We could rename our field to |
I don’t particularly care either way about this. On one hand its less typing. On the other its more shuffle. |
☔ The latest upstream changes (presumably #69879) made this pull request unmergeable. Please resolve the merge conflicts. |
6804664
to
0146922
Compare
☔ The latest upstream changes (presumably #70118) made this pull request unmergeable. Please resolve the merge conflicts. |
0146922
to
30ef2e8
Compare
30ef2e8
to
0f7840b
Compare
r? @oli-obk |
@bors r+ |
📌 Commit 0f7840b has been approved by |
Rollup of 5 pull requests Successful merges: - rust-lang#69700 (Rename LayoutDetails to just Layout.) - rust-lang#70392 (Make x.py compatible with python 3.8.) - rust-lang#70406 (Clean up E0458 explanation) - rust-lang#70407 (Avoid tagging as I-nominated on toolstate breakage) - rust-lang#70409 (gitignore: allow target to be a symlink) Failed merges: - rust-lang#70375 (avoid catching InterpError) r? @ghost
No description provided.