Commit 5be2110

committed

Auto merge of #132325 - lcnr:damn-son, r=<try>

rework winnowing to sensibly handle global where-bounds this is somewhat weird, but it at least allows us to mirror this behavior in the new solver: - trivial builtin-impls - non-global where-bounds, bailing with ambiguity if at least one global where-bound exists - object ☠️ + alias-bound candidates - merge candidates ignoring global where-bounds This is a different approach from #124592 which maintains the "if there are global where-bounds, don't guide type inference using non-global where-bounds" behavior, hopefully avoiding the breakage and means we use guidance from non-global where-bounds in fewer, instead of in more cases. r? `@compiler-errors`

2 parents 3d1dba8 + 2090bf2 commit 5be2110Copy full SHA for 5be2110

3 files changed

+265

-305

lines changed

compiler/rustc_trait_selection/src
- lib.rs
- traits/select
  - mod.rs
tests/ui/const-generics/occurs-check
- param-env-eager-norm-dedup.rs

3 files changed

+265

-305

lines changed

`‎compiler/rustc_trait_selection/src/lib.rs`

+1

-Original file line number
+Diff line change
 #![feature(extract_if)]
 #![feature(if_let_guard)]
 #![feature(iter_intersperse)]
 +#![feature(iterator_try_reduce)]
 #![feature(let_chains)]
 #![feature(never_type)]
 #![feature(rustdoc_internals)]

Comments

(0)