Skip to content

[WIP] Polymorphization - #160300

Draft
camelid wants to merge 6 commits into
rust-lang:mainfrom
camelid:poly
Draft

camelid wants to merge 6 commits into
rust-lang:mainfrom
camelid:poly

Conversation

@camelid

@camelid camelid commented Jul 31, 2026

Copy link
Copy Markdown
Member

No description provided.

@rustbot rustbot added A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. PG-exploit-mitigations Project group: Exploit mitigations S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-clippy Relevant to the Clippy team. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Jul 31, 2026
@rust-log-analyzer

This comment has been minimized.

@rust-bors

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

For now it's fine to just check if conflicting CLI flags are passed.
Though it may still be good to ensure correctness by construction for
layouts (wrt randomization) in the future.
@rust-log-analyzer

This comment has been minimized.

It seems to be unneeded for now, but probably a principled solution to
the underlying problem will need to be added later once we erase params
with bounds.
@rust-log-analyzer

Copy link
Copy Markdown
Collaborator

The job test-pr-check-2 failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)
[RUSTC-TIMING] rustc_mir_build test:false 2.216
    Checking rustc_ty_utils v0.0.0 (/checkout/compiler/rustc_ty_utils)
[RUSTC-TIMING] rustc_codegen_llvm test:false 2.778
    Checking rustc_borrowck v0.0.0 (/checkout/compiler/rustc_borrowck)
error[E0063]: missing field `repr_c` in initializer of `LayoutData<_, _>`
   --> compiler/rustc_ty_utils/src/layout.rs:884:19
    |
884 |     tcx.mk_layout(LayoutData {
    |                   ^^^^^^^^^^ missing `repr_c`

---
70 | |         fields: _,
71 | |         variants: _,
72 | |         backend_repr,
...  |
79 | |         randomization_seed: _,
80 | |     } = *layout.0.0;
   | |_____^ missing field `repr_c`
   |
help: include the missing field in the pattern
   |
79 -         randomization_seed: _,
80 -     } = *layout.0.0;
79 +         randomization_seed: _, repr_c } = *layout.0.0;
   |
help: if you don't care about this missing field, you can explicitly ignore it
   |
79 -         randomization_seed: _,
80 -     } = *layout.0.0;
79 +         randomization_seed: _, repr_c: _ } = *layout.0.0;
   |
help: or always ignore missing fields here
   |
79 -         randomization_seed: _,
80 -     } = *layout.0.0;
79 +         randomization_seed: _, .. } = *layout.0.0;
   |

Some errors have detailed explanations: E0027, E0063.
For more information about an error, try `rustc --explain E0027`.
[RUSTC-TIMING] rustc_ty_utils test:false 0.802

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-LLVM Area: Code generation parts specific to LLVM. Both correctness bugs and optimization-related issues. PG-exploit-mitigations Project group: Exploit mitigations S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-clippy Relevant to the Clippy team. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants