diff --git a/compiler/rustc_passes/src/stability.rs b/compiler/rustc_passes/src/stability.rs
index cfd6acd8d7c..78591e640e3 100644
--- a/compiler/rustc_passes/src/stability.rs
+++ b/compiler/rustc_passes/src/stability.rs
@@ -888,10 +888,15 @@ impl<'tcx> Visitor<'tcx> for CheckTraitImplStable<'tcx> {
     }
 
     fn visit_ty(&mut self, t: &'tcx Ty<'tcx>) {
-        if let TyKind::Never = t.kind {
-            self.fully_stable = false;
+        match t.kind {
+            TyKind::Never => self.fully_stable = false,
+            TyKind::BareFn(f) => {
+                if rustc_target::spec::abi::is_stable(f.abi.name()).is_err() {
+                    self.fully_stable = false;
+                }
+            }
+            _ => intravisit::walk_ty(self, t),
         }
-        intravisit::walk_ty(self, t)
     }
 }