Matthias Krüger 104e1a4bf2 Rollup merge of #125501 - compiler-errors:opaque-opaque-anon-ct, r=BoxyUwU ... Resolve anon const's parent predicates to direct parent instead of opaque's parent When an anon const is inside of an opaque, #99801 added a hack to resolve the anon const's parent predicates *not* to the opaque's predicates, but to the opaque's *parent's* predicates. This is insufficient when considering nested opaques. This means that the `predicates_of` an anon const might reference duplicated lifetimes (installed by `compute_bidirectional_outlives_predicates`) when computing known outlives in MIR borrowck, leading to these ICEs: Fixes #121574 Fixes #118403 ~~Instead, we should be using the `OpaqueTypeOrigin` to acquire the owner item (fn/type alias/etc) of the opaque, whose predicates we're fine to mention.~~ ~~I think it's a bit sketchy that we're doing this at all, tbh; I think it *should* be fine for the anon const to inherit the predicates of the opaque it's located inside. However, that would also mean that we need to make sure the `generics_of` that anon const line up in the same way.~~ ~~None of this is important to solve right now; I just want to fix these ICEs so we can land #125468, which accidentally fixes these issues in a different and unrelated way.~~ edit: We don't need this special case anyways because we install the right parent item in `generics_of` anyways: 213ad10c8f/compiler/rustc_hir_analysis/src/collect/generics_of.rs (L150) r? `@BoxyUwU`		2024-05-24 23:01:11 +02:00
..
rustc	Change SIGPIPE ui from #[unix_sigpipe = "..."] to -Zon-broken-pipe=...	2024-05-02 19:48:29 +02:00
rustc_abi	Temporarily revert to NonZeroUsize in rustc-abi to fix building on stable	2024-05-18 11:27:29 +03:00
rustc_arena	rename ptr::invalid -> ptr::without_provenance	2024-02-21 20:15:52 +01:00
rustc_ast	Rollup merge of #125316 - nnethercote:tweak-Spacing, r=petrochenkov	2024-05-23 07:41:18 +02:00
rustc_ast_ir	Remove extern crate rustc_macros from numerous crates.	2024-04-29 10:21:54 +10:00
rustc_ast_lowering	Rename Unsafe to Safety	2024-05-17 18:33:37 -03:00
rustc_ast_passes	Rename buffer_lint_with_diagnostic to buffer_lint	2024-05-21 20:16:39 +00:00
rustc_ast_pretty	Add some comments.	2024-05-23 06:03:17 +10:00
rustc_attr	Rename buffer_lint_with_diagnostic to buffer_lint	2024-05-21 20:16:39 +00:00
rustc_baked_icu_data
rustc_borrowck	Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from Interner	2024-05-21 17:00:45 -04:00
rustc_builtin_macros	Rollup merge of #125316 - nnethercote:tweak-Spacing, r=petrochenkov	2024-05-23 07:41:18 +02:00
rustc_codegen_cranelift	Rollup merge of #125345 - durin42:thin-link-bitcode, r=bjorn3	2024-05-23 23:39:26 +02:00
rustc_codegen_gcc	Rollup merge of #125345 - durin42:thin-link-bitcode, r=bjorn3	2024-05-23 23:39:26 +02:00
rustc_codegen_llvm	Auto merge of #125463 - GuillaumeGomez:rollup-287wx4y, r=GuillaumeGomez	2024-05-24 03:04:06 +00:00
rustc_codegen_ssa	Rollup merge of #125477 - nnethercote:missed-rustfmt, r=compiler-errors	2024-05-24 17:48:03 +02:00
rustc_const_eval	Rollup merge of #125483 - workingjubilee:move-transform-validate-to-mir-transform, r=oli-obk	2024-05-24 23:01:09 +02:00
rustc_data_structures	Rollup merge of #124818 - compiler-errors:ena, r=Mark-Simulacrum	2024-05-11 08:00:15 +02:00
rustc_driver
rustc_driver_impl	PR feedback	2024-05-21 20:12:30 -04:00
rustc_error_codes	Remove a stray backtick in an error explanation.	2024-05-13 07:53:38 +10:00
rustc_error_messages	Remove #[macro_use] extern crate tracing from rustc_error_messages.	2024-05-23 18:02:17 +10:00
rustc_errors	Auto merge of #125335 - compiler-errors:binder, r=lcnr	2024-05-22 08:33:34 +00:00
rustc_expand	Rollup merge of #125316 - nnethercote:tweak-Spacing, r=petrochenkov	2024-05-23 07:41:18 +02:00
rustc_feature	Auto merge of #125326 - weiznich:move/do_not_recommend_to_diganostic_namespace, r=compiler-errors	2024-05-22 04:14:08 +00:00
rustc_fluent_macro	Rename SubdiagnosticMessage as SubdiagMessage.	2024-03-05 12:14:49 +11:00
rustc_fs_util	Stabilize std::path::absolute	2024-04-24 14:35:02 +00:00
rustc_graphviz
rustc_hir	Rename Unsafe to Safety	2024-05-17 18:33:37 -03:00
rustc_hir_analysis	Actually just remove the special case altogether	2024-05-24 13:16:06 -04:00
rustc_hir_pretty	Rollup merge of #125158 - Nilstrieb:block-indent, r=compiler-errors	2024-05-21 00:47:02 +02:00
rustc_hir_typeck	Rollup merge of #125467 - compiler-errors:binop-in-bool-expectation, r=estebank	2024-05-24 23:01:09 +02:00
rustc_incremental	Run rustfmt on files that need it.	2024-05-24 15:17:21 +10:00
rustc_index	Simplify static_assert_sizes.	2024-04-18 15:36:25 +10:00
rustc_index_macros	rustc_index: Add a ZERO constant to index types	2024-04-03 19:06:22 +03:00
rustc_infer	Revert "Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-errors"	2024-05-24 13:21:59 +00:00
rustc_interface	Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726	2024-05-23 21:36:54 +00:00
rustc_lexer	Improved the compiler code with clippy	2024-04-24 09:41:44 +02:00
rustc_lint	Rollup merge of #125477 - nnethercote:missed-rustfmt, r=compiler-errors	2024-05-24 17:48:03 +02:00
rustc_lint_defs	Rename buffer_lint_with_diagnostic to buffer_lint	2024-05-21 20:16:39 +00:00
rustc_llvm	thinlto: only build summary file if needed	2024-05-23 14:58:30 -04:00
rustc_log	Use Backtrace::force_capture instead of Backtrace::capture in rustc_log	2024-05-21 10:54:36 +02:00
rustc_macros	Rollup merge of #125391 - nnethercote:serialize-rs-tweaks, r=compiler-errors	2024-05-22 23:41:13 +02:00
rustc_metadata	Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726	2024-05-23 21:36:54 +00:00
rustc_middle	Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726	2024-05-23 21:36:54 +00:00
rustc_mir_build	Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726	2024-05-23 21:36:54 +00:00
rustc_mir_dataflow	Remove #[macro_use] extern crate tracing from rustc_mir_dataflow.	2024-05-23 18:02:40 +10:00
rustc_mir_transform	compiler: unnest rustc_const_eval::check_consts	2024-05-24 09:56:56 -07:00
rustc_monomorphize	Remove #[macro_use] extern crate tracing from rustc_monomorphize.	2024-05-23 18:02:40 +10:00
rustc_next_trait_solver	Uplift binder	2024-05-21 17:00:45 -04:00
rustc_parse	Remove #[macro_use] extern crate tracing from rustc_parse.	2024-05-23 18:02:40 +10:00
rustc_parse_format	Simplify static_assert_sizes.	2024-04-18 15:36:25 +10:00
rustc_passes	Auto merge of #125434 - nnethercote:rm-more-extern-tracing, r=jackh726	2024-05-23 21:36:54 +00:00
rustc_pattern_analysis	Stabilize exclusive_range	2024-05-02 19:42:31 -04:00
rustc_privacy	split out AliasTy -> AliasTerm	2024-05-13 11:59:42 -04:00
rustc_query_impl	Remove extern crate rustc_middle from rustc_query_impl.	2024-05-13 08:20:18 +10:00
rustc_query_system	Add a footer in FileEncoder and check for it in MemDecoder	2024-05-21 20:12:29 -04:00
rustc_resolve	Rollup merge of #125156 - zachs18:for_loops_over_fallibles_behind_refs, r=Nilstrieb	2024-05-23 07:41:17 +02:00
rustc_sanitizers	Fix typos (taking into account review comments)	2024-05-18 18:12:18 +02:00
rustc_serialize	PR feedback	2024-05-21 20:12:30 -04:00
rustc_session	Rollup merge of #125345 - durin42:thin-link-bitcode, r=bjorn3	2024-05-23 23:39:26 +02:00
rustc_smir	Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinval	2024-05-23 20:09:09 +02:00
rustc_span	Remove #[macro_use] extern crate tracing from rustc_span`.	2024-05-22 16:03:48 +10:00
rustc_symbol_mangling	Rename Unsafe to Safety	2024-05-17 18:33:37 -03:00
rustc_target	Auto merge of #124676 - djkoloski:relax_multiple_sanitizers, r=cuviper,rcvalle	2024-05-21 15:35:29 +00:00
rustc_trait_selection	Rollup merge of #125259 - compiler-errors:fn-mut-as-a-treat, r=oli-obk	2024-05-22 19:04:45 +02:00
rustc_traits	split out AliasTy -> AliasTerm	2024-05-13 11:59:42 -04:00
rustc_transmute	Align: add bytes_usize and bits_usize	2024-05-01 15:57:33 +02:00
rustc_ty_utils	Remove #[macro_use] extern crate tracing from rustc_ty_utils.	2024-05-23 18:02:17 +10:00
rustc_type_ir	Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from Interner	2024-05-21 17:00:45 -04:00
rustc_type_ir_macros	Uplift TraitPredicate	2024-05-11 18:20:00 -04:00
stable_mir	Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinval	2024-05-23 20:09:09 +02:00