make the check calls fewer times

Author: Kivooeo

compiler/rustc_mir_build/src/builder/mod.rs

@@ -838,26 +838,6 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                 self.parent_module,
                 self.infcx.typing_env(self.param_env),
             );
-
-            // check if the function's return type is inhabited
-            // this was added here because of this regression
-            // https://github.com/rust-lang/rust/issues/149571
-            let output_is_inhabited =
-                if matches!(self.tcx.def_kind(self.def_id), DefKind::Fn | DefKind::AssocFn) {
-                    self.tcx
-                        .fn_sig(self.def_id)
-                        .instantiate_identity()
-                        .skip_binder()
-                        .output()
-                        .is_inhabited_from(
-                            self.tcx,
-                            self.parent_module,
-                            self.infcx.typing_env(self.param_env),
-                        )
-                } else {
-                    true
-                };
-
             if !ty_is_inhabited {
                 // Unreachable code warnings are already emitted during type checking.
                 // However, during type checking, full type information is being
@@ -868,6 +848,26 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                 // uninhabited types (e.g. empty enums). The check above is used so
                 // that we do not emit the same warning twice if the uninhabited type
                 // is indeed `!`.
+
+                // check if the function's return type is inhabited
+                // this was added here because of this regression
+                // https://github.com/rust-lang/rust/issues/149571
+                let output_is_inhabited =
+                    if matches!(self.tcx.def_kind(self.def_id), DefKind::Fn | DefKind::AssocFn) {
+                        self.tcx
+                            .fn_sig(self.def_id)
+                            .instantiate_identity()
+                            .skip_binder()
+                            .output()
+                            .is_inhabited_from(
+                                self.tcx,
+                                self.parent_module,
+                                self.infcx.typing_env(self.param_env),
+                            )
+                    } else {
+                        true
+                    };
+
                 if !ty.is_never() && output_is_inhabited {
                     lints.push((target_bb, ty, term.source_info.span));
                 }