diff --git a/src/changelog.rst b/src/changelog.rst
index 09c9ae55..f3a14f72 100644
--- a/src/changelog.rst
+++ b/src/changelog.rst
@@ -36,6 +36,13 @@ Language changes in Rust 1.95.0
 - `Const blocks are no longer evaluated to determine if expressions involving fallible operations can implicitly be constant-promoted <https://github.com/rust-lang/rust/pull/150557>`_
 - `Make operational semantics of pattern matching independent of crate and module <https://github.com/rust-lang/rust/pull/150681>`_
 
+FLS corrections
+---------------
+
+Changed paragraph: :p:`fls_1941wid94hlg`
+
+New paragraph: :p:`fls_CSuxTkwR96j9`
+
 Language changes in Rust 1.94.0
 -------------------------------
 
diff --git a/src/types-and-traits.rst b/src/types-and-traits.rst
index 9efa58dd..db8bb1bf 100644
--- a/src/types-and-traits.rst
+++ b/src/types-and-traits.rst
@@ -926,11 +926,10 @@ An :t:`unsafe function item type` is a :t:`function item type` where the related
 A :t:`function item type` is coercible to a :t:`function pointer type`.
 
 :dp:`fls_1941wid94hlg`
-A :t:`function item type` implements the :std:`core::clone::Clone` :t:`trait`,
-the :std:`core::marker::Copy` :t:`trait`, the :std:`core::ops::Fn` :t:`trait`,
-the :std:`core::ops::FnMut` :t:`trait`, the :std:`core::ops::FnOnce` :t:`trait`,
-the :std:`core::marker::Send` :t:`trait`, and the :std:`core::marker::Sync`
-:t:`trait`.
+A :t:`function item type` implements the :std:`core::clone::Clone` :t:`trait`, the :std:`core::marker::Copy` :t:`trait`, the :std:`core::marker::Send` :t:`trait`, and the :std:`core::marker::Sync` :t:`trait`.
+
+:dp:`fls_CSuxTkwR96j9`
+A :t:`function item type` implements the :std:`core::ops::Fn` :t:`trait`, the :std:`core::ops::FnMut` :t:`trait`, the :std:`core::ops::FnOnce` :t:`trait`, unless it is an :t:`unsafe function`, unless it has :t:`attribute` :c:`target_feature`, or unless it does not have a :t:`Rust ABI`.
 
 .. _fls_3i4ou0dq64ny: