Update compiler/rustc_trait_selection/src/solve/fulfill.rs

Co-authored-by: Boxy <[email protected]>

Author: lcnr

compiler/rustc_trait_selection/src/solve/fulfill.rs

@@ -197,12 +197,12 @@ where
                     delegate.compute_goal_fast_path(goal, obligation.cause.span)
                 {
                     match certainty {
-                        // Even if the goal references two instances of the same infer var,
-                        // our fast paths should not depend on region identity.
+                        // This fast path doesn't depend on region identity so it doesn't
+                        // matter if the goal contains inference variables or not, so we
+                        // don't need to call `push_hir_typeck_potentially_region_dependent_goal`
+                        // here.
                         //
                         // Only goals proven via the trait solver should be region dependent.
-                        // We never call `push_hir_typeck_potentially_region_dependent_goal`
-                        // here.
                         Certainty::Yes => {}
                         Certainty::Maybe(_) => {
                             self.obligations.register(obligation, None);