user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/compiler
History
许杰友 Jieyou Xu (Joe) f08746a95d
Rollup merge of #125214 - compiler-errors:gat-guide, r=lcnr 
Only make GAT ambiguous in `match_projection_projections` considering shallow resolvability

In #123537, I tweaked the hack from #93892 to use `resolve_vars_if_possible` instead of `shallow_resolve`. This considers more inference guidance ambiguous. This resulted in crater regressions in #125196.

I've effectively reverted the change to the old behavior. That being said, I don't *like* this behavior, but I'd rather keep it for now since #123537 was not meant to make any behavioral changes. See the attached example.

This also affects the new solver, for the record, which doesn't have any rules about not guiding inference from param-env candidates which may constrain GAT args as a side-effect.

r? `@lcnr` or `@jackh726`
2024-05-18 20:38:04 +01: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 #125117 - dev-ardi:improve-parser, r=wesleywiser,fmease 2024-05-18 18:44:14 +02:00
rustc_ast_ir Remove extern crate rustc_macros from numerous crates. 2024-04-29 10:21:54 +10:00
rustc_ast_lowering delegation: Implement list delegation 2024-05-15 02:32:59 +03:00
rustc_ast_passes Stabilize exclusive_range 2024-05-02 19:42:31 -04:00
rustc_ast_pretty delegation: Implement list delegation 2024-05-15 02:32:59 +03:00
rustc_attr Remove extern crate rustc_macros from numerous crates. 2024-04-29 10:21:54 +10:00
rustc_baked_icu_data
rustc_borrowck Uplift Goal to rustc_type_ir 2024-05-16 14:24:22 -04:00
rustc_builtin_macros Fix println! ICE when parsing percent prefix number 2024-05-18 01:05:56 +00:00
rustc_codegen_cranelift Merge commit '3270432f4b' into sync_cg_clif-2024-05-13 2024-05-13 13:26:33 +00:00
rustc_codegen_gcc Auto merge of #124972 - matthiaskrgr:rollup-3fablim, r=matthiaskrgr 2024-05-10 16:04:26 +00:00
rustc_codegen_llvm coverage: CoverageIdsInfo::mcdc_bitmap_bytes is never needed 2024-05-14 16:41:04 +10:00
rustc_codegen_ssa Rollup merge of #125184 - scottmcm:fix-thin-ptr-ice, r=jieyouxu 2024-05-18 18:44:14 +02:00
rustc_const_eval Remove extern crate rustc_middle from rustc_const_eval. 2024-05-13 08:02:14 +10: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 Don't call env::set_var in rustc_driver::install_ice_hook 2024-05-13 09:37:29 +02:00
rustc_error_codes Remove a stray backtick in an error explanation. 2024-05-13 07:53:38 +10:00
rustc_error_messages Rename SubdiagnosticMessage as SubdiagMessage. 2024-03-05 12:14:49 +11:00
rustc_errors Uplift FnSig 2024-05-16 09:52:01 -04:00
rustc_expand Auto merge of #125180 - mu001999-contrib:improve/macro-diag, r=fee1-dead 2024-05-18 13:02:48 +00:00
rustc_feature Add expr_2021 nonterminal and feature flag 2024-05-13 11:27:26 -07: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 Invert diagnostic lints. 2024-02-06 13:12:33 +11:00
rustc_hir Uplift FnSig 2024-05-16 09:52:01 -04:00
rustc_hir_analysis to_opt_poly_X_pred -> as_X_clause 2024-05-17 12:58:33 -04:00
rustc_hir_pretty Make handling of Comments more iterator-like. 2024-05-13 10:11:29 +10:00
rustc_hir_typeck to_opt_poly_X_pred -> as_X_clause 2024-05-17 12:58:33 -04:00
rustc_incremental Auto merge of #123441 - saethlin:fixed-len-file-names, r=oli-obk 2024-05-03 17:41:48 +00: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 to_opt_poly_X_pred -> as_X_clause 2024-05-17 12:58:33 -04:00
rustc_interface Improve check-cfg CLI errors with more structured diagnostics 2024-05-06 07:44:41 +02:00
rustc_lexer Improved the compiler code with clippy 2024-04-24 09:41:44 +02:00
rustc_lint Remove trivial Binder::dummy calls 2024-05-16 14:24:23 -04:00
rustc_lint_defs Add `on_unimplemented" typo suggestions 2024-05-15 00:49:33 +02:00
rustc_llvm Update cc crate to v1.0.97 2024-05-08 15:06:35 +00:00
rustc_log Construct SourceMap at the same time as SessionGlobals. 2024-04-16 13:02:53 +10:00
rustc_macros Lift Lift 2024-05-10 15:44:03 -04:00
rustc_metadata Remove extern crate rustc_middle from rustc_metadata. 2024-05-13 08:20:18 +10:00
rustc_middle to_opt_poly_X_pred -> as_X_clause 2024-05-17 12:58:33 -04:00
rustc_mir_build Auto merge of #124914 - nnethercote:rm-extern-crate-rustc_middle, r=saethlin 2024-05-13 00:13:34 +00:00
rustc_mir_dataflow Inline & delete Ty::new_unit, since it's just a field access 2024-05-02 17:49:23 +02:00
rustc_mir_transform coverage: CoverageIdsInfo::mcdc_bitmap_bytes is never needed 2024-05-14 16:41:04 +10:00
rustc_monomorphize Lift TraitRef into rustc_type_ir 2024-05-10 15:44:03 -04:00
rustc_next_trait_solver Lift TraitRef into rustc_type_ir 2024-05-10 15:44:03 -04:00
rustc_parse Rollup merge of #125117 - dev-ardi:improve-parser, r=wesleywiser,fmease 2024-05-18 18:44:14 +02:00
rustc_parse_format Simplify static_assert_sizes. 2024-04-18 15:36:25 +10:00
rustc_passes delegation: Implement list delegation 2024-05-15 02:32:59 +03: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 Remove some unneeded Cargo.toml dependencies. 2024-05-03 15:33:52 +10:00
rustc_resolve Auto merge of #125105 - nnethercote:rustc_resolve-cleanups, r=estebank 2024-05-18 06:36:44 +00:00
rustc_sanitizers Apply nits, uplift ExistentialPredicate too 2024-05-11 18:20:00 -04:00
rustc_serialize Step bootstrap cfgs 2024-05-01 22:19:11 -04:00
rustc_session Auto merge of #124611 - Urgau:rustdoc-stdin, r=GuillaumeGomez 2024-05-18 10:53:47 +00:00
rustc_smir Apply nits 2024-05-13 16:55:58 -04:00
rustc_span Add expr_2021 nonterminal and feature flag 2024-05-13 11:27:26 -07:00
rustc_symbol_mangling Add v0 symbol mangling for f16 and f128 2024-05-14 06:11:25 -04:00
rustc_target enable rust-lld on x86_64-unknown-linux-gnu when requested 2024-05-16 16:08:06 +00:00
rustc_trait_selection Rollup merge of #125214 - compiler-errors:gat-guide, r=lcnr 2024-05-18 20:38:04 +01: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 Rename ToPredicate for Upcast 2024-05-16 14:23:47 -04:00
rustc_type_ir Uplift Goal to rustc_type_ir 2024-05-16 14:24:22 -04:00
rustc_type_ir_macros Uplift TraitPredicate 2024-05-11 18:20:00 -04:00
stable_mir split out AliasTy -> AliasTerm 2024-05-13 11:59:42 -04:00