rust/compiler
bors 4ccbb7dc95 Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item.

This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely (not done in this PR)

The only behaviour change is in diagnostics.

r? `@lcnr` `@compiler-errors`
2024-03-11 19:01:15 +00:00
..
rustc
rustc_abi
rustc_arena
rustc_ast Rollup merge of #119365 - nbdd0121:asm-goto, r=Amanieu 2024-03-08 08:19:17 +01:00
rustc_ast_ir Fix typo in VisitorResult 2024-03-08 23:20:29 -05:00
rustc_ast_lowering Rename AddToDiagnostic as Subdiagnostic. 2024-03-11 10:04:49 +11:00
rustc_ast_passes Rename AddToDiagnostic as Subdiagnostic. 2024-03-11 10:04:49 +11:00
rustc_ast_pretty Rollup merge of #121584 - klensy:itertools-up, r=Mark-Simulacrum 2024-03-09 21:40:08 +01:00
rustc_attr Rename IntoDiagnostic as Diagnostic. 2024-03-11 09:15:09 +11:00
rustc_baked_icu_data
rustc_borrowck Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list 2024-03-11 17:19:37 +00:00
rustc_builtin_macros Rename AddToDiagnostic as Subdiagnostic. 2024-03-11 10:04:49 +11:00
rustc_codegen_cranelift Rollup merge of #121840 - oli-obk:freeze, r=dtolnay 2024-03-11 03:47:19 -04:00
rustc_codegen_gcc Rollup merge of #121840 - oli-obk:freeze, r=dtolnay 2024-03-11 03:47:19 -04:00
rustc_codegen_llvm Rollup merge of #122166 - beetrees:remove-field-remapping, r=davidtwco 2024-03-11 09:29:36 -07:00
rustc_codegen_ssa Rollup merge of #122320 - erikdesjardins:vtable, r=nikic 2024-03-11 09:29:38 -07:00
rustc_const_eval Rollup merge of #122249 - RalfJung:machine-read-hook, r=oli-obk 2024-03-11 09:29:36 -07:00
rustc_data_structures
rustc_driver
rustc_driver_impl Auto merge of #122338 - workingjubilee:rollup-xzpt4v4, r=workingjubilee 2024-03-11 16:51:54 +00:00
rustc_error_codes Improve error message for opaque captures 2024-03-08 19:08:13 +00:00
rustc_error_messages
rustc_errors Rollup merge of #122299 - compiler-errors:bt-for-must-diag, r=nnethercote 2024-03-11 09:29:37 -07:00
rustc_expand
rustc_feature Rollup merge of #121840 - oli-obk:freeze, r=dtolnay 2024-03-11 03:47:19 -04:00
rustc_fluent_macro
rustc_fs_util
rustc_graphviz
rustc_hir Rename IntoDiagnosticArg as IntoDiagArg. 2024-03-11 09:12:19 +11:00
rustc_hir_analysis Auto merge of #121796 - oli-obk:eager_opaque_checks3, r=lcnr 2024-03-11 19:01:15 +00:00
rustc_hir_pretty
rustc_hir_typeck Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item. 2024-03-11 17:19:37 +00:00
rustc_incremental
rustc_index
rustc_index_macros
rustc_infer Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list 2024-03-11 17:19:37 +00:00
rustc_interface Auto merge of #122338 - workingjubilee:rollup-xzpt4v4, r=workingjubilee 2024-03-11 16:51:54 +00:00
rustc_lexer
rustc_lint Allow multiple impl Into<{D,Subd}iagMessage> parameters in a function. 2024-03-11 16:42:10 +11:00
rustc_lint_defs Declare new lint 2024-03-09 01:13:42 +01:00
rustc_llvm Rollup merge of #122143 - durin42:llvm-19-compression-options, r=workingjubilee 2024-03-08 08:19:20 +01:00
rustc_log
rustc_macros Rename diagnostic derive things. 2024-03-11 10:06:34 +11:00
rustc_metadata Rename IntoDiagnostic as Diagnostic. 2024-03-11 09:15:09 +11:00
rustc_middle Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list 2024-03-11 17:19:37 +00:00
rustc_mir_build Rollup merge of #122080 - Zalathar:drop-tree, r=oli-obk 2024-03-11 09:29:35 -07:00
rustc_mir_dataflow Distinguish between library and lang UB in assert_unsafe_precondition 2024-03-08 18:53:58 -05:00
rustc_mir_transform Rename DecorateLint as LintDiagnostic. 2024-03-11 10:04:50 +11:00
rustc_monomorphize Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercote 2024-03-11 00:34:44 +00:00
rustc_next_trait_solver
rustc_parse Rollup merge of #122152 - wutchzone:120892, r=fmease 2024-03-11 09:29:35 -07:00
rustc_parse_format
rustc_passes Auto merge of #121752 - mu001999:dead_code/improve, r=pnkfelix 2024-03-11 02:46:47 +00:00
rustc_pattern_analysis Rename DecorateLint as LintDiagnostic. 2024-03-11 10:04:50 +11:00
rustc_privacy
rustc_query_impl
rustc_query_system Auto merge of #122064 - Zoxc:dep-graph-encode-tweaks, r=cjgillot 2024-03-10 06:27:41 +00:00
rustc_resolve Rename IntoDiagnosticArg as IntoDiagArg. 2024-03-11 09:12:19 +11:00
rustc_serialize
rustc_session Rollup merge of #116793 - WaffleLapkin:target_rules_the_backend, r=cjgillot 2024-03-11 09:29:32 -07:00
rustc_smir Distinguish between library and lang UB in assert_unsafe_precondition 2024-03-08 18:53:58 -05:00
rustc_span Rollup merge of #121840 - oli-obk:freeze, r=dtolnay 2024-03-11 03:47:19 -04:00
rustc_symbol_mangling Rename IntoDiagnostic as Diagnostic. 2024-03-11 09:15:09 +11:00
rustc_target Rollup merge of #117458 - kjetilkjeka:embedded-linker, r=petrochenkov 2024-03-11 09:29:32 -07:00
rustc_trait_selection Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list 2024-03-11 17:19:37 +00:00
rustc_traits Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
rustc_transmute bump itertools to 0.12 2024-03-08 12:34:05 +03:00
rustc_ty_utils update comment for RPITIT projections 2024-03-11 17:19:37 +00:00
rustc_type_ir Remove Ord from ClosureKind 2024-03-09 21:16:43 +08:00
stable_mir Distinguish between library and lang UB in assert_unsafe_precondition 2024-03-08 18:53:58 -05:00