Rollup of 7 pull requests

[Centril]

Successful merges:

• Fix sequence of Type and Trait in optin-builtin-traits in Unstable Book #69788 (Fix sequence of Type and Trait in optin-builtin-traits in Unstable Book)
• Make needs_drop less pessimistic on generators #70015 (Make needs_drop less pessimistic on generators)
• Store idents for DefPathData into crate metadata #70077 (Store idents for DefPathData into crate metadata)
• traits/fulfill: allow stalled_on to track ty::Const::Infer(_) (unused yet). #70213 (traits/fulfill: allow stalled_on to track ty::Const::Infer(_) (unused yet).)
• Use Reveal::All in MIR optimizations #70259 (Use Reveal::All in MIR optimizations)
• correctly handle const params in type_of #70284 (correctly handle const params in type_of)
• Refactor codegen #70289 (Refactor codegen)

Failed merges:

r? @ghost