Do not reveal opaques in the param-env, we got lazy norm instead

Author: compiler-errors

compiler/rustc_middle/src/ty/util.rs

@@ -1751,6 +1751,11 @@ pub fn reveal_opaque_types_in_bounds<'tcx>(
     tcx: TyCtxt<'tcx>,
     val: ty::Clauses<'tcx>,
 ) -> ty::Clauses<'tcx> {
+    // No need to reveal opaques with the new solver enabled.
+    if tcx.next_trait_solver_globally() {
+        return val;
+    }
+
     let mut visitor = OpaqueTypeExpander {
         seen_opaque_tys: FxHashSet::default(),
         expanded_cache: FxHashMap::default(),