consistently handle global where-bounds

Author: lcnr

compiler/rustc_trait_selection/src/lib.rs

@@ -23,6 +23,7 @@
 #![feature(extract_if)]
 #![feature(if_let_guard)]
 #![feature(iter_intersperse)]
+#![feature(iterator_try_reduce)]
 #![feature(let_chains)]
 #![feature(never_type)]
 #![feature(rustdoc_internals)]

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

@@ -1,3 +1,5 @@
+//@ check-pass
+
 // A regression test for an edge case of candidate selection
 // in the old trait solver, see #132325 for more details. Unlike
 // the first test, this one has two impl candidates.
@@ -12,7 +14,7 @@ where
     (): Trait<u32>,
     (): Trait<T>,
 {
-    impls_trait(()) //~ ERROR mismatched types
+    impls_trait(())
 }
 
 fn main() {}

tests/ui/traits/winnowing/global-non-global-env-2.rs

@@ -1,3 +1,5 @@
+//@ check-pass
+
 // A regression test for an edge case of candidate selection
 // in the old trait solver, see #132325 for more details. Unlike
 // the third test, this one has 3 impl candidates.
@@ -13,7 +15,7 @@ where
     (): Trait<T>,
     (): Trait<u32>,
 {
-    impls_trait(()) //~ ERROR mismatched types
+    impls_trait(())
 }
 
 fn main() {}