Commit 6d565b7

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 r? `@compiler-errors`

2 parents 2dece5b + dc50c64 commit 6d565b7Copy full SHA for 6d565b7

2 files changed

+230

-304

lines changed

compiler/rustc_trait_selection/src
- lib.rs
- traits/select
  - mod.rs

2 files changed

+230

-304

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)