rust/compiler
Jonathan Brouwer 8b3ef9e0c7
Rollup merge of #152278 - lapla-cogito:type_const_nested, r=BoxyUwU
Fix const normalization for generic const items with trait assoc consts

In `try_fold_free_or_assoc`, the check for whether the normalization result needs further normalization only considered types, not constants. This caused generic const items marked with `#[type_const]` that reference trait associated consts to only partially normalize—the outer const would be expanded, but the inner associated const would remain unevaluated, resulting in an ICE in borrowck.

close rust-lang/rust#151647

r? BoxyUwU
(Based on git blame)
2026-02-15 16:37:37 +01:00
..
rustc Return ExitCode from rustc_driver::main 2026-01-23 21:04:27 +00:00
rustc_abi Rollup merge of #152469 - mu001999-contrib:cleanup/unused-features, r=nadrieril,jdonszelmann 2026-02-13 13:34:58 +01:00
rustc_arena Replace some feature(core_intrinsics) with stable hints 2026-02-08 18:21:47 +11:00
rustc_ast Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized. 2026-02-09 07:59:24 -08:00
rustc_ast_ir Implement &pin patterns and ref pin bindings 2025-11-10 09:57:08 +08:00
rustc_ast_lowering Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_ast_passes Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_ast_pretty Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized. 2026-02-09 07:59:24 -08:00
rustc_attr_parsing Rollup merge of #152612 - JonathanBrouwer:rename_to_msg, r=jdonszelmann 2026-02-14 18:55:38 +01:00
rustc_baked_icu_data Unify the configuration of the compiler docs 2025-11-05 11:25:27 +00:00
rustc_borrowck Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_builtin_macros Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_codegen_cranelift Rollup merge of #152573 - usamoi:escape-2, r=bjorn3 2026-02-13 22:26:33 -05:00
rustc_codegen_gcc Remove code for ThinLTO from cg_gcc 2026-02-15 10:05:48 +00:00
rustc_codegen_llvm Rollup merge of #152132 - folkertdev:carryless-mul, r=Mark-Simulacrum 2026-02-14 23:17:31 -05:00
rustc_codegen_ssa Remove code for ThinLTO from cg_gcc 2026-02-15 10:05:48 +00:00
rustc_const_eval Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_data_structures Auto merge of #152375 - Zoxc:rayon-scope-loops, r=jieyouxu,lqd 2026-02-15 09:55:40 +00:00
rustc_driver Unify the configuration of the compiler docs 2025-11-05 11:25:27 +00:00
rustc_driver_impl Rollup merge of #152250 - JonathanBrouwer:convert_finish, r=jdonszelmann 2026-02-08 19:15:25 +01:00
rustc_error_codes Port #[lang] to the new attribute parsers 2026-02-13 16:04:19 +00:00
rustc_error_messages Remove SubdiagMessage in favour of the identical DiagMessage 2026-02-10 09:13:45 +00:00
rustc_errors Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_expand Rollup merge of #152612 - JonathanBrouwer:rename_to_msg, r=jdonszelmann 2026-02-14 18:55:38 +01:00
rustc_feature Remove deprecated_safe and its corresponding feature gate 2026-02-12 22:16:28 +01:00
rustc_fs_util Avoid using env::temp when linking a binary 2025-12-24 06:41:42 +00:00
rustc_graphviz change non-canonical clone impl to {*self}, fix some doc comments 2025-12-20 13:46:22 +00:00
rustc_hashes
rustc_hir Rollup merge of #152570 - Ozzy1423:attr-parse, r=JonathanBrouwer 2026-02-14 18:55:37 +01:00
rustc_hir_analysis Rollup merge of #152132 - folkertdev:carryless-mul, r=Mark-Simulacrum 2026-02-14 23:17:31 -05:00
rustc_hir_id
rustc_hir_pretty Allow provisional mgca syntax of type const <IDENT> = <EXPR> to be reconized. 2026-02-09 07:59:24 -08:00
rustc_hir_typeck Auto merge of #151380 - ShoyuVanilla:shallow-resolve-to-root-var, r=lcnr 2026-02-15 03:04:28 +00:00
rustc_incremental Replace parallel! macro with par_fns function and rename join to par_join 2026-02-12 12:20:18 +01:00
rustc_index Remove unused features in compiler 2026-02-13 09:25:39 +08:00
rustc_index_macros
rustc_infer Auto merge of #151380 - ShoyuVanilla:shallow-resolve-to-root-var, r=lcnr 2026-02-15 03:04:28 +00:00
rustc_interface Remove code for ThinLTO from cg_gcc 2026-02-15 10:05:48 +00:00
rustc_lexer Remove rustc_lexer::cursor module. 2026-01-27 12:06:55 +11:00
rustc_lint Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_lint_defs Add FCW for derive helper attributes that will conflict with built-in attributes 2026-02-10 19:39:19 +00:00
rustc_llvm Fix multi-cgu+debug builds using autodiff by delaying autodiff till lto 2026-02-11 14:08:56 -05:00
rustc_log
rustc_macros Remove code for ThinLTO from cg_gcc 2026-02-15 10:05:48 +00:00
rustc_metadata Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_middle Rollup merge of #151365 - RalfJung:unsafe-unpin-opsem, r=BoxyUwU 2026-02-14 22:11:53 +01:00
rustc_mir_build Rollup merge of #152612 - JonathanBrouwer:rename_to_msg, r=jdonszelmann 2026-02-14 18:55:38 +01:00
rustc_mir_dataflow Stabilize assert_matches 2026-02-11 14:13:44 +01:00
rustc_mir_transform Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_monomorphize Rollup merge of #152329 - Zoxc:simple-parallel-macro, r=nnethercote 2026-02-13 15:19:12 +11:00
rustc_next_trait_solver Rollup merge of #152383 - RalfJung:BikeshedGuaranteedNoDrop, r=TaKO8Ki 2026-02-11 13:48:50 +01:00
rustc_parse Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_parse_format rustc_parse_format: improve diagnostics for unsupported debug = syntax 2026-02-06 00:44:03 +05:30
rustc_passes Rollup merge of #152612 - JonathanBrouwer:rename_to_msg, r=jdonszelmann 2026-02-14 18:55:38 +01:00
rustc_pattern_analysis Rollup merge of #152469 - mu001999-contrib:cleanup/unused-features, r=nadrieril,jdonszelmann 2026-02-13 13:34:58 +01:00
rustc_privacy Rollup merge of #151887 - scottmcm:homogeneous-try-in-compiler, r=jackh726 2026-02-08 16:58:23 +11:00
rustc_proc_macro Update literal-escaper version to 0.0.7 2026-01-08 14:10:33 +01:00
rustc_public Rollup merge of #150271 - Jamesbarford:chore/refactor-struct-placeholder-pt2, r=lcnr 2026-01-29 17:47:29 +01:00
rustc_public_bridge Remove unused features in compiler 2026-02-13 09:25:39 +08:00
rustc_query_impl Rollup merge of #152582 - petrochenkov:waitvisit, r=TaKO8Ki 2026-02-14 22:11:55 +01:00
rustc_query_system Move rustc_query_system::query::dep_graph to rustc_middle. 2026-02-14 18:46:05 +11:00
rustc_resolve Rename inline_fluent! to msg! 2026-02-14 13:47:52 +01:00
rustc_sanitizers Include assoc const projections in CFI trait object 2026-02-01 22:45:43 +08:00
rustc_serialize Remove unused features in compiler 2026-02-13 09:25:39 +08:00
rustc_session Remove code for ThinLTO from cg_gcc 2026-02-15 10:05:48 +00:00
rustc_span implement carryless_mul 2026-02-14 21:23:30 +01:00
rustc_symbol_mangling Stabilize assert_matches 2026-02-11 14:13:44 +01:00
rustc_target Rollup merge of #152552 - androm3da:hexagon-hvx-abi-rules, r=madsmtm 2026-02-13 15:19:15 +11:00
rustc_thread_pool Fix typos and grammar in compiler and build documentation 2026-02-10 10:22:05 -05:00
rustc_trait_selection Fix const normalization for generic const items with trait assoc consts 2026-02-15 22:05:27 +09:00
rustc_traits implied bounds comments 2026-01-19 16:08:54 +00:00
rustc_transmute Clean up src/dst transmute mess. 2026-01-12 09:22:58 +11:00
rustc_ty_utils Rollup merge of #151365 - RalfJung:unsafe-unpin-opsem, r=BoxyUwU 2026-02-14 22:11:53 +01:00
rustc_type_ir Auto merge of #151380 - ShoyuVanilla:shallow-resolve-to-root-var, r=lcnr 2026-02-15 03:04:28 +00:00
rustc_type_ir_macros Provide an extended framework for type visit, for use in rust-analyzer 2025-12-16 01:47:28 +02:00
rustc_windows_rc