HACK gdi

Author: lcnr

compiler/rustc_trait_selection/src/solve/eval_ctxt/canonical.rs

@@ -21,7 +21,7 @@ use rustc_infer::infer::canonical::{CanonicalExt, QueryRegionConstraints};
 use rustc_infer::infer::resolve::EagerResolver;
 use rustc_infer::infer::type_variable::TypeVariableOrigin;
 use rustc_infer::infer::RegionVariableOrigin;
-use rustc_infer::infer::{InferCtxt, InferOk};
+use rustc_infer::infer::{InferCtxt,};
 use rustc_infer::traits::solve::NestedNormalizationGoals;
 use rustc_middle::infer::canonical::Canonical;
 use rustc_middle::infer::unify_key::ConstVariableOrigin;
@@ -347,12 +347,10 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
 
         let cause = ObligationCause::dummy();
         for (&orig, response) in iter::zip(original_values, var_values.var_values) {
-            let InferOk { value: (), obligations } = infcx
+            let _ = infcx
                 .at(&cause, param_env)
                 .trace(orig, response)
-                .eq_structurally_relating_aliases(orig, response)
-                .unwrap();
-            assert!(obligations.is_empty());
+                .eq_structurally_relating_aliases(orig, response);
         }
     }