-
Notifications
You must be signed in to change notification settings - Fork 13k
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
inline format!() args from rustc_codegen_llvm to the end (4) #114075
Conversation
Some changes occurred to the CTFE / Miri engine cc @rust-lang/miri Some changes might have occurred in exhaustiveness checking cc @Nadrieril Some changes occurred to MIR optimizations cc @rust-lang/wg-mir-opt |
@bors r+ rollup |
…iaskrgr Rollup of 7 pull requests Successful merges: - rust-lang#113872 (Tweak CGU sorting in a couple of places.) - rust-lang#114053 (CI: fix CMake installation for 32/64 bit `dist` Linux) - rust-lang#114075 (inline format!() args from rustc_codegen_llvm to the end (4)) - rust-lang#114081 (`desugar_doc_comments` cleanups) - rust-lang#114082 (add stable NullaryOp) - rust-lang#114098 (replace atty crate with std's IsTerminal) - rust-lang#114102 (Dont pass `-Zwrite-long-types-to-disk=no` for `ui-fulldeps --stage=1`) r? `@ghost` `@rustbot` modify labels: rollup
"ItemLocalIds not assigned densely in {pretty_owner}. \ | ||
Max ItemLocalId = {max}, missing IDs = {missing_items:#?}; seen IDs = {seen_items:#?}" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks kind of misformatted... Can you try doing something like this?
"ItemLocalIds not assigned densely in {pretty_owner}. \ | |
Max ItemLocalId = {max}, missing IDs = {missing_items:#?}; seen IDs = {seen_items:#?}" | |
"ItemLocalIds not assigned densely in {pretty_owner}. \ | |
Max ItemLocalId = {max}, missing IDs = {missing_items:#?}; \ | |
seen IDs = {seen_items:#?}" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I did not notice this was merged already, oops 💀
r? @WaffleLapkin