w

rust-lang · Oct 27, 2023 · 8315095 · 8315095
1 parent 2b2c4af
commit 8315095
Showing 1 changed file with 13 additions and 10 deletions.
diff --git a/compiler/rustc_trait_selection/src/solve/project_goals/opaques.rs b/compiler/rustc_trait_selection/src/solve/project_goals/opaques.rs
@@ -55,16 +55,19 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
                 }
 
                 let expected = match self.try_normalize_ty(goal.param_env, expected) {
-                    Some(ty) => if ty.is_ty_var() {
-                        return self.evaluate_added_goals_and_make_canonical_response(
-                            Certainty::AMBIGUOUS,
-                        )
-                    } else {
-                        ty
-                    },
-                    None => return self.evaluate_added_goals_and_make_canonical_response(
-                        Certainty::OVERFLOW,
-                    ),
+                    Some(ty) => {
+                        if ty.is_ty_var() {
+                            return self.evaluate_added_goals_and_make_canonical_response(
+                                Certainty::AMBIGUOUS,
+                            );
+                        } else {
+                            ty
+                        }
+                    }
+                    None => {
+                        return self
+                            .evaluate_added_goals_and_make_canonical_response(Certainty::OVERFLOW);
+                    }
                 };
 
                 // Otherwise, define a new opaque type