diff --git a/src/librustc_ast_lowering/item.rs b/src/librustc_ast_lowering/item.rs
index 00665c4cafb..b2db9fe1d26 100644
--- a/src/librustc_ast_lowering/item.rs
+++ b/src/librustc_ast_lowering/item.rs
@@ -6,7 +6,8 @@ use rustc_ast::ast::*;
 use rustc_ast::attr;
 use rustc_ast::node_id::NodeMap;
 use rustc_ast::ptr::P;
-use rustc_ast::visit::{self, AssocCtxt, Visitor};
+use rustc_ast::visit::{self, AssocCtxt, FnCtxt, FnKind, Visitor};
+use rustc_ast::walk_list;
 use rustc_data_structures::fx::FxHashSet;
 use rustc_errors::struct_span_err;
 use rustc_hir as hir;
@@ -76,6 +77,43 @@ impl<'a> Visitor<'a> for ItemLowerer<'a, '_, '_> {
         }
     }
 
+    // Forked from the original method because we don't want to descend into foreign function
+    // blocks. Such blocks are semantically invalid and the hir does not preserve them, so lowering
+    // items contained in them may be unexpected by later passes.
+    fn visit_foreign_item(&mut self, item: &'a ForeignItem) {
+        let Item { id: _, span: _, ident, ref vis, ref attrs, ref kind, tokens: _ } = *item;
+        self.visit_vis(vis);
+        self.visit_ident(ident);
+        walk_list!(self, visit_attribute, attrs);
+        match kind {
+            ForeignItemKind::Static(ty, _, expr) => {
+                self.visit_ty(ty);
+                walk_list!(self, visit_expr, expr);
+            }
+            ForeignItemKind::Fn(_, sig, generics, body) => {
+                self.visit_generics(generics);
+                let kind = FnKind::Fn(FnCtxt::Foreign, ident, sig, vis, body.as_deref());
+                match kind {
+                    FnKind::Fn(_, _, sig, _, _) => {
+                        self.visit_fn_header(&sig.header);
+                        visit::walk_fn_decl(self, &sig.decl);
+                    }
+                    FnKind::Closure(decl, _) => {
+                        visit::walk_fn_decl(self, decl);
+                    }
+                }
+            }
+            ForeignItemKind::TyAlias(_, generics, bounds, ty) => {
+                self.visit_generics(generics);
+                walk_list!(self, visit_param_bound, bounds);
+                walk_list!(self, visit_ty, ty);
+            }
+            ForeignItemKind::MacCall(mac) => {
+                self.visit_mac(mac);
+            }
+        }
+    }
+
     fn visit_assoc_item(&mut self, item: &'a AssocItem, ctxt: AssocCtxt) {
         self.lctx.with_hir_id_owner(item.id, |lctx| match ctxt {
             AssocCtxt::Trait => {
diff --git a/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.rs b/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.rs
new file mode 100644
index 00000000000..a84065e0218
--- /dev/null
+++ b/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.rs
@@ -0,0 +1,11 @@
+// Previously this ICE'd because `fn g()` would be lowered, but the block associated with `fn f()`
+// wasn't.
+
+// compile-flags: --crate-type=lib
+
+extern "C" {
+    fn f() {
+    //~^ incorrect function inside `extern` block
+        fn g() {}
+    }
+}
diff --git a/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.stderr b/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.stderr
new file mode 100644
index 00000000000..d4a9ca3e7c6
--- /dev/null
+++ b/src/test/ui/foreign/issue-74120-lowering-of-ffi-block-bodies.stderr
@@ -0,0 +1,19 @@
+error: incorrect function inside `extern` block
+  --> $DIR/issue-74120-lowering-of-ffi-block-bodies.rs:7:8
+   |
+LL |   extern "C" {
+   |   ---------- `extern` blocks define existing foreign functions and functions inside of them cannot have a body
+LL |       fn f() {
+   |  ________^___-
+   | |        |
+   | |        cannot have a body
+LL | |
+LL | |         fn g() {}
+LL | |     }
+   | |_____- help: remove the invalid body: `;`
+   |
+   = help: you might have meant to write a function accessible through FFI, which can be done by writing `extern fn` outside of the `extern` block
+   = note: for more information, visit https://doc.rust-lang.org/std/keyword.extern.html
+
+error: aborting due to previous error
+