rust/compiler
bors 9bdb4881c7 Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors
a general type system cleanup

removes the helper functions `traits::fully_solve_X` as they add more complexity then they are worth. It's confusing which of these helpers should be used in which context.

changes the way we deal with overflow to always add depth in `evaluate_predicates_recursively`. It may make sense to actually fully transition to not have `recursion_depth` on obligations but that's probably a bit too much for this PR.

also removes some other small - and imo unnecessary - helpers.

r? types
2023-03-22 05:33:18 +00:00
..
rustc fix link 2023-03-11 10:53:47 -06:00
rustc_abi Unify validity checks into a single query 2023-02-23 18:42:36 +00:00
rustc_apfloat
rustc_arena
rustc_ast Rollup merge of #108958 - clubby789:unbox-the-hir, r=compiler-errors 2023-03-17 08:42:37 +01:00
rustc_ast_lowering Gate fmt args flattening behind -Zflatten-format-args. 2023-03-16 11:21:50 +01:00
rustc_ast_passes Auto merge of #108471 - clubby789:unbox-the-syntax, r=Nilstrieb,est31 2023-03-13 10:41:50 +00:00
rustc_ast_pretty Remove box_syntax from AST and use in tools 2023-03-12 13:19:46 +00:00
rustc_attr Simplify message paths 2023-03-11 22:51:57 +01:00
rustc_baked_icu_data update ICU4X to 1.1.0 2023-02-04 22:28:59 +01:00
rustc_borrowck Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_builtin_macros Rollup merge of #109301 - Ezrashaw:fix-ctf-ice, r=Nilstrieb 2023-03-20 07:10:31 +01:00
rustc_codegen_cranelift Tweak implementation of overflow checking assertions 2023-03-16 22:55:45 +01:00
rustc_codegen_gcc Remove uses of box_syntax in rustc and tools 2023-03-12 13:19:46 +00:00
rustc_codegen_llvm Rollup merge of #108726 - est31:backticks_matchmaking_tidy, r=Nilstrieb 2023-03-12 08:13:25 +01:00
rustc_codegen_ssa LocalCrate key 2023-03-21 15:38:52 +00:00
rustc_const_eval Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_data_structures migrate compiler, bootstrap, and compiletest to windows-rs 2023-03-20 13:19:35 -04:00
rustc_driver Remove unneeded extern crate 2023-02-02 07:47:39 +01:00
rustc_driver_impl migrate compiler, bootstrap, and compiletest to windows-rs 2023-03-20 13:19:35 -04:00
rustc_error_codes Rollup merge of #107416 - czzrr:issue-80618, r=GuillaumeGomez 2023-03-18 12:04:21 +01:00
rustc_error_messages Simplify message paths 2023-03-11 22:51:57 +01:00
rustc_errors Rollup merge of #109403 - chenyukang:yukang/fix-109396, r=estebank 2023-03-21 19:00:13 +01:00
rustc_expand Suggest surrounding the macro with {} to interpret as a statement 2023-03-17 14:36:22 +08:00
rustc_feature Bump version placeholders 2023-03-15 08:55:22 -04:00
rustc_fs_util
rustc_graphviz
rustc_hir Use local key in providers 2023-03-21 15:38:51 +00:00
rustc_hir_analysis Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_hir_pretty Remove box expressions from HIR 2023-03-14 17:18:26 +00:00
rustc_hir_typeck Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_incremental Use local key in providers 2023-03-21 15:38:51 +00:00
rustc_index Match unmatched backticks in compiler/ that are part of rustdoc 2023-03-03 08:39:00 +01:00
rustc_infer Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_interface Gate fmt args flattening behind -Zflatten-format-args. 2023-03-16 11:21:50 +01:00
rustc_lexer fix(lexer): not skipped whitespace warning for '\x0c' 2023-03-09 22:44:58 +08:00
rustc_lint Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_lint_defs Auto merge of #109035 - scottmcm:ptr-read-should-know-undef, r=WaffleLapkin,JakobDegen 2023-03-15 11:44:12 +00:00
rustc_llvm Remove an extraneous include 2023-03-07 22:46:39 -08:00
rustc_log Rollup merge of #107895 - matthiaskrgr:cl, r=compiler-errors 2023-02-11 17:18:44 +01:00
rustc_macros Allow using bool for optional diagnostics 2023-02-27 12:54:11 +00:00
rustc_metadata LocalCrate key 2023-03-21 15:38:52 +00:00
rustc_middle Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_mir_build Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_mir_dataflow Use index based drop loop for slices and arrays 2023-03-14 21:29:32 +01:00
rustc_mir_transform Auto merge of #109087 - cjgillot:sparse-bb-clear, r=davidtwco 2023-03-22 02:49:04 +00:00
rustc_monomorphize Rollup merge of #109109 - compiler-errors:polymorphize-foreign, r=Nilstrieb 2023-03-15 17:51:31 +05:30
rustc_parse Refactor handle_missing_lit. 2023-03-21 09:28:52 +11:00
rustc_parse_format Improve heuristics for format_args literal being suggestable 2023-03-14 13:20:39 +00:00
rustc_passes LocalCrate key 2023-03-21 15:38:52 +00:00
rustc_plugin_impl Simplify message paths 2023-03-11 22:51:57 +01:00
rustc_privacy Use local key in providers 2023-03-21 15:38:51 +00:00
rustc_query_impl AsLocalKey trait 2023-03-21 15:38:52 +00:00
rustc_query_system Auto merge of #109046 - Zoxc:split-execute-job, r=cjgillot,michaelwoerister 2023-03-20 23:53:09 +00:00
rustc_resolve fix: modify the condition that resolve_imports stops 2023-03-19 20:18:45 +08:00
rustc_serialize Emit the enum discriminant separately for the Encodable macro 2023-02-25 01:04:56 +01:00
rustc_session migrate compiler, bootstrap, and compiletest to windows-rs 2023-03-20 13:19:35 -04:00
rustc_smir Change item collection to be on demand 2023-03-07 12:47:25 -08:00
rustc_span Rollup merge of #109307 - cjgillot:inline-location, r=compiler-errors 2023-03-20 09:46:54 +01:00
rustc_symbol_mangling Use local key in providers 2023-03-21 15:38:51 +00:00
rustc_target Fix riscv64 fuchsia LLVM target name 2023-03-15 12:55:37 +09:00
rustc_trait_selection Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_traits Add mk_canonical_var_infos_from_iter. 2023-02-24 07:33:02 +11:00
rustc_transmute rustc_middle: Remove trait DefIdTree 2023-03-02 23:46:44 +04:00
rustc_ty_utils Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errors 2023-03-22 05:33:18 +00:00
rustc_type_ir Rollup merge of #109047 - tshepang:type, r=lcnr 2023-03-12 20:44:52 +01:00