w

Author: lcnr

compiler/rustc_session/src/config.rs

@@ -794,7 +794,7 @@ impl Default for NextSolverConfig {
     fn default() -> Self {
         NextSolverConfig {
             coherence: true,
-            globally: false,
+            globally: true,
             dump_tree: DumpSolverProofTree::default(),
         }
     }

compiler/rustc_trait_selection/src/solve/assembly/mod.rs

@@ -846,7 +846,12 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
         if let Some(result) = self.try_merge_responses(&responses) {
             return Ok(result);
         } else {
-            self.flounder(&responses)
-        }
+            let param_env_candidates = candidates.iter().filter(|c| matches!(c.source, CandidateSource::ParamEnv(_))).map(|c| c.result).collect::<Vec<_>>();
+            if let Some(result) = self.try_merge_responses(&param_env_candidates) {
+                return Ok(result);
+            } else {
+                self.flounder(&responses)
+            }
+        }   
     }
 }

compiler/rustc_trait_selection/src/traits/mod.rs

@@ -389,6 +389,26 @@ pub fn normalize_param_env_or_error<'tcx>(
     let mut predicates = non_outlives_predicates;
     predicates.extend(outlives_predicates);
     debug!("normalize_param_env_or_error: final predicates={:?}", predicates);
+    if tcx.next_trait_solver_globally() {
+        predicates.retain(|&p| {
+            if p.is_global() {
+                let infcx = tcx.infer_ctxt().build();
+                let ocx = ObligationCtxt::new(&infcx);
+                let param_env = ty::ParamEnv::empty();
+                ocx.register_obligation(Obligation::new(tcx, ObligationCause::dummy(), param_env, p));
+                if !ocx.select_all_or_error().is_empty() {
+                    true
+                } else if ocx.resolve_regions(&OutlivesEnvironment::new(param_env)).is_empty() {
+                    // A trivially true global bound, ignore it.
+                    false
+                } else {
+                    true
+                }
+            } else {
+                true
+            }
+        })
+    }
     ty::ParamEnv::new(tcx.mk_clauses(&predicates), unnormalized_env.reveal())
 }