rust/compiler
bors 7cd950546b Auto merge of #144704 - compiler-errors:explode-wf, r=lcnr
expand WF obligations when checking method calls

Don't wrap a bunch of signatures in `FnPtr` then check their WF; instead, check the WFness of each input/output separately.

This is useful for the new trait solver, since because we stall on root obligations we end up needing to repeatedly recompute the WFness of possibly very large function signature types if it ends up bottoming out in ambiguity.

This may also give us more chances to hit the WF fast path for certain types like built-ins.

Finally, this just seems conceptually correct to do. There's nothing conceptually that suggests that wrapping the function signature in an fn pointer makes sense at all to do; I'm guessing that it was just convenient so that we didn't have to register WF obligations in a loop, but it doesn't affect the readability of this code at all.
2025-08-03 09:29:54 +00:00
..
rustc rename stable_mir to rustc_public, and rustc_smir to rustc_public_bridge 2025-07-14 09:25:54 +00:00
rustc_abi Reuse sign_extend helper 2025-07-29 14:17:48 +00:00
rustc_arena Introduce Arena::try_alloc_from_iter. 2025-04-19 01:13:18 +00:00
rustc_ast Deduplicate IntTy/UintTy/FloatTy. 2025-07-31 19:56:11 +10:00
rustc_ast_ir Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_ast_lowering remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_ast_passes use let chains in ast, borrowck, codegen, const_eval 2025-07-28 06:08:48 +05:00
rustc_ast_pretty use let chains in ast, borrowck, codegen, const_eval 2025-07-28 06:08:48 +05:00
rustc_attr_parsing Cleanup the definition of group_type 2025-08-01 17:08:02 +02:00
rustc_baked_icu_data Add unreachable_pub to RUSTC_LINT_FLAGS for compiler/ crates. 2025-03-11 13:14:21 +11:00
rustc_borrowck Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr 2025-08-03 05:26:43 +00:00
rustc_builtin_macros remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_codegen_cranelift Update codegen_{cranelift,gcc} and opt-dist to use build.compiletest-allow-stage0 2025-07-30 19:55:07 +08:00
rustc_codegen_gcc remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_codegen_llvm Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnr 2025-07-31 17:19:40 +02:00
rustc_codegen_ssa Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnr 2025-07-31 17:19:40 +02:00
rustc_const_eval Add EnteredTraceSpan::or_if_tracing_disabled 2025-07-31 21:51:29 +02:00
rustc_data_structures Allow pretty printing paths with -Zself-profile-events=args 2025-07-25 22:24:21 +02:00
rustc_driver Remove recursion_limit increases. 2025-04-02 16:25:27 +11:00
rustc_driver_impl Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_error_codes Update uitest stderrs 2025-07-23 13:33:23 +02:00
rustc_error_messages Remove unused feature gates 2025-06-28 23:36:46 +00:00
rustc_errors Rollup merge of #144691 - xizheyin:suggest-confuse, r=estebank 2025-08-01 00:38:20 -04:00
rustc_expand Auto merge of #129183 - estebank:cfg-visitor, r=davidtwco 2025-08-02 05:09:31 +00:00
rustc_feature remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_fluent_macro Remove all unused feature gates from the compiler 2025-06-08 14:50:42 +00:00
rustc_fs_util Retry if creating temp fails with access denied 2025-04-25 11:28:36 +00:00
rustc_graphviz Remove #![warn(unreachable_pub)] from all compiler/ crates. 2025-03-11 13:14:21 +11:00
rustc_hashes Revert "Use workspace lints for crates in compiler/ #138084" 2025-03-10 18:12:47 +08:00
rustc_hir Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu 2025-08-02 11:24:24 +02:00
rustc_hir_analysis Auto merge of #144704 - compiler-errors:explode-wf, r=lcnr 2025-08-03 09:29:54 +00:00
rustc_hir_pretty remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_hir_typeck Auto merge of #144704 - compiler-errors:explode-wf, r=lcnr 2025-08-03 09:29:54 +00:00
rustc_incremental Auto merge of #139758 - Zoxc:thread-local-graph, r=oli-obk 2025-05-07 12:39:54 +00:00
rustc_index Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_index_macros Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_infer Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr 2025-08-03 05:26:43 +00:00
rustc_interface Auto merge of #144479 - cjgillot:incr-privacy-mod, r=petrochenkov 2025-08-02 01:59:11 +00:00
rustc_lexer test(lexer): Add frontmatter unit test 2025-07-10 10:25:29 -05:00
rustc_lint Rollup merge of #144726 - jdonszelmann:move-attr-data-structures, r=lcnr 2025-07-31 17:19:40 +02:00
rustc_lint_defs add unsupported_calling_conventions to lint list 2025-08-01 09:47:47 +02:00
rustc_llvm Rollup merge of #144712 - nnethercote:dedup-num-types, r=fmease 2025-07-31 17:19:39 +02:00
rustc_log Add documentation for init_logger_with_additional_layer 2025-06-12 12:11:15 +02:00
rustc_macros remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_metadata remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_middle Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr 2025-08-03 05:26:43 +00:00
rustc_mir_build Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu 2025-08-02 11:24:24 +02:00
rustc_mir_dataflow Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu 2025-08-02 11:24:24 +02:00
rustc_mir_transform Rollup merge of #144756 - WaffleLapkin:inf-rec-etc-ctfe, r=lqd 2025-08-02 11:24:26 +02:00
rustc_monomorphize remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_next_trait_solver Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr 2025-08-01 21:07:49 +00:00
rustc_parse Rollup merge of #144712 - nnethercote:dedup-num-types, r=fmease 2025-07-31 17:19:39 +02:00
rustc_parse_format update to literal-escaper-0.0.5 2025-07-08 10:16:44 +00:00
rustc_passes remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_pattern_analysis Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_privacy Auto merge of #144554 - cjgillot:no-hir-eff-vis, r=petrochenkov 2025-08-02 09:23:36 +00:00
rustc_proc_macro Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_public Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_public_bridge Remove useless lifetime parameter. 2025-07-23 23:54:37 +00:00
rustc_query_impl Remove unused allow attrs 2025-07-07 12:58:16 +00:00
rustc_query_system remove rustc_attr_data_structures 2025-07-31 14:19:27 +02:00
rustc_resolve Auto merge of #129183 - estebank:cfg-visitor, r=davidtwco 2025-08-02 05:09:31 +00:00
rustc_sanitizers Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_serialize use div_ceil instead of manual logic 2025-07-05 10:55:42 +02:00
rustc_session Auto merge of #144562 - matthiaskrgr:rollup-mlvn7qo, r=matthiaskrgr 2025-07-28 08:50:59 +00:00
rustc_span Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu 2025-08-02 11:24:24 +02:00
rustc_symbol_mangling Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_target Rollup merge of #144410 - Gelbpunkt:musl-tier3-dynamic, r=jieyouxu 2025-08-01 09:59:03 +02:00
rustc_thread_pool Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu 2025-08-02 11:24:24 +02:00
rustc_trait_selection Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr 2025-08-03 05:26:43 +00:00
rustc_traits Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr 2025-08-01 04:06:21 +00:00
rustc_transmute Tidy up Cargo.toml files. 2025-07-31 19:58:04 +10:00
rustc_ty_utils Extract borrowck coroutine drop-liveness hack 2025-07-31 17:38:28 +00:00
rustc_type_ir Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr 2025-08-03 05:26:43 +00:00
rustc_type_ir_macros Split TypeFolder and FallibleTypeFolder 2025-04-15 18:30:35 +00:00