rust/compiler at dd4562a18f4a91e40ba701019af33ab80c1b2886 - rust - Gitea: Git with a cup of tea

rust-lang/rust

Files

History

bors a171994070 Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwU

consider item bounds for non-yet-defined opaque types

Based on rust-lang/rust#140405.

fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/182
fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/196
fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/205

there's some jank here, see https://github.com/rust-lang/trait-system-refactor-initiative/issues/229

## Design

If the self type is an inference variable which has been sub-unified with am opaque type, we need to incompletely guide inference to avoid breakage.

In this case, we
- look at the item bounds of all sub-unified opaque types, and
- blanket impls which do not constrain the self type

Even if there are applicable candidates, we always force their certainty to be `Maybe`, so they will always have to be reproven once we've constrained the inference variable.

This is a bit iffy, see the added tests.

r? `@BoxyUwU`

2025-09-12 14:28:42 +00:00

..

compiler: Add Windows resources to rustc-main and rustc_driver

2025-09-05 14:06:31 -04:00

Rollup merge of #144066 - RalfJung:extern-c-variadics, r=workingjubilee

2025-09-02 17:08:52 +02:00

…

c-variadic: reject functions with unsupported extern ABI

2025-09-09 21:38:38 +02:00

turn pointer width into an integer in target.json

2025-08-27 23:44:49 +02:00

rustc_ast_lowering

Rollup merge of #145879 - Bryanskiy:supertraits-2, r=lcnr

2025-09-10 20:29:05 +02:00

rustc_ast_passes

c-variadic: reject functions with unsupported extern ABI

2025-09-09 21:38:38 +02:00

rustc_ast_pretty

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

rustc_attr_parsing

Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,traviscross

2025-09-10 14:17:38 +02:00

rustc_baked_icu_data

Use default locale fallback data

2025-08-28 09:48:54 +00:00

erase_regions to erase_and_anonymize_regions

2025-09-09 14:49:16 +02:00

rustc_builtin_macros

Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"

2025-09-11 09:10:46 +08:00

rustc_codegen_cranelift

Auto merge of #146233 - jieyouxu:run-make-fission, r=Kobzol

2025-09-06 18:37:35 +00:00

rustc_codegen_gcc

Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,traviscross

2025-09-10 14:17:38 +02:00

rustc_codegen_llvm

Rollup merge of #144549 - folkertdev:va-arg-arm, r=saethlin

2025-09-12 20:02:10 +10:00

rustc_codegen_ssa

Rollup merge of #144549 - folkertdev:va-arg-arm, r=saethlin

2025-09-12 20:02:10 +10:00

rustc_const_eval

Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,traviscross

2025-09-10 14:17:38 +02:00

rustc_data_structures

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

compiler: Add Windows resources to rustc-main and rustc_driver

2025-09-05 14:06:31 -04:00

rustc_driver_impl

Strip frontmatter in fewer places

2025-09-09 19:49:40 +02:00

rustc_error_codes

Changes to the uitests

2025-08-27 20:25:18 +02:00

rustc_error_messages

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

fix: Filter suggestion parts that match existing code

2025-09-04 17:42:13 -06:00

Rollup merge of #146308 - cyrgani:concat-integer-literals, r=jackh726

2025-09-12 20:02:11 +10:00

allow #[rustc_align_static(N)] on statics

2025-09-09 21:54:54 +02:00

rustc_fluent_macro

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

…

…

Auto merge of #146328 - zetanumbers:fix-141951, r=lcnr

2025-09-12 03:51:54 +00:00

rustc_hir_analysis

Auto merge of #146328 - zetanumbers:fix-141951, r=lcnr

2025-09-12 03:51:54 +00:00

rustc_hir_id: Add a comment explaining why the crate exists

2025-08-20 15:04:00 -07:00

rustc_hir_pretty

Rollup merge of #146102 - fmease:rm-dead-eff-code-iii, r=fee1-dead

2025-09-02 17:08:58 +02:00

rustc_hir_typeck

Driveby fixes

2025-09-09 14:49:16 +02:00

rustc_incremental

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Rollup merge of #144765 - Qelxiros:range-inclusive-last, r=jhpratt

2025-09-10 14:17:37 +02:00

rustc_index_macros

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

erase_regions to erase_and_anonymize_regions

2025-09-09 14:49:16 +02:00

rustc_interface

Rollup merge of #146340 - fmease:frontmatter-containment, r=fee1-dead,Urgau

2025-09-10 20:29:09 +02:00

Rollup merge of #146106 - epage:whitespace, r=fee1-dead

2025-09-03 23:08:10 +10:00

Default auto traits: revert to the default supertraits

2025-09-10 15:08:06 +03:00

rustc_lint_defs

Rollup merge of #145932 - JamieCunliffe:target-feature-inlining, r=jackh726

2025-09-04 10:01:55 +10:00

Auto merge of #146360 - Zalathar:rollup-qc2hhrd, r=Zalathar

2025-09-09 11:54:44 +00:00

Update tracing, again

2025-09-08 09:23:37 -07:00

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Auto merge of #138736 - azhogin:azhogin/sanitizers-target-modificators, r=rcvalle

2025-09-04 22:51:33 +00:00

Auto merge of #146329 - lcnr:opaque-type-infer-alias-candidates, r=BoxyUwU

2025-09-12 14:28:42 +00:00

rustc_mir_build

Driveby fixes

2025-09-09 14:49:16 +02:00

rustc_mir_dataflow

erase_regions to erase_and_anonymize_regions

2025-09-09 14:49:16 +02:00

rustc_mir_transform

Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr

2025-09-09 15:04:44 +00:00

rustc_monomorphize

Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr

2025-09-09 15:04:44 +00:00

rustc_next_trait_solver

incompletely prefer opaque type bounds when self type bottoms out in infer

2025-09-11 12:13:03 +02:00

Rollup merge of #146422 - fmease:less-greedy-maybe-const-bounds, r=estebank

2025-09-11 14:06:32 +10:00

rustc_parse_format

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Rollup merge of #146178 - folkertdev:static-align, r=jdonszelmann,ralfjung,traviscross

2025-09-10 14:17:38 +02:00

rustc_pattern_analysis

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

rustc_proc_macro

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

Rollup merge of #146102 - fmease:rm-dead-eff-code-iii, r=fee1-dead

2025-09-02 17:08:58 +02:00

rustc_public_bridge

…

rustc_query_impl

fixup limit handling code

2025-09-08 15:07:12 -07:00

rustc_query_system

fixup limit handling code

2025-09-08 15:07:12 -07:00

Rollup merge of #146254 - yotamofek:pr/itertools-all-equal-value, r=cjgillot

2025-09-07 08:18:59 +02:00

rustc_sanitizers

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

rustc_serialize

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

fixup limit handling code

2025-09-08 15:07:12 -07:00

Rollup merge of #146347 - folkertdev:duplicate-symbol-panic, r=fee1-dead

2025-09-11 14:06:28 +10:00

rustc_symbol_mangling

Add assertion

2025-09-09 14:49:16 +02:00

s390x: mark soft-float target feature as incompatible

2025-09-10 22:47:29 +02:00

rustc_thread_pool

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

rustc_trait_selection

Revert "Rollup merge of #122661 - estebank:assert-macro-span, r=petrochenkov"

2025-09-11 09:10:46 +08:00

erase_regions to erase_and_anonymize_regions

2025-09-09 14:49:16 +02:00

rustc_transmute

Driveby fixes

2025-09-09 14:49:16 +02:00

Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnr

2025-09-09 15:04:44 +00:00

incompletely prefer opaque type bounds when self type bottoms out in infer

2025-09-11 12:13:03 +02:00

rustc_type_ir_macros

Revert introduction of [workspace.dependencies].

2025-09-02 19:12:54 +10:00

rustc_windows_rc

compiler: Add Windows resources to rustc-main and rustc_driver

2025-09-05 14:06:31 -04:00