diff --git a/src/attributes/codegen.md b/src/attributes/codegen.md
index cf9837d9e..3d2862448 100644
--- a/src/attributes/codegen.md
+++ b/src/attributes/codegen.md
@@ -85,9 +85,27 @@ The [testing attributes](testing.md) cannot be applied to a naked function.
 r[attributes.codegen.no_builtins]
 ## The `no_builtins` attribute
 
-The *`no_builtins` [attribute]* may be applied at the crate level to disable
-optimizing certain code patterns to invocations of library functions that are
-assumed to exist.
+r[attributes.codegen.no_builtins.intro]
+The *`no_builtins` [attribute]* disables optimization of certain code patterns related to calls to library functions that are assumed to exist.
+
+<!-- TODO: This needs expanding, see <https://github.com/rust-lang/reference/issues/542>. -->
+
+> [!EXAMPLE]
+> ```rust
+> #![no_builtins]
+> ```
+
+r[attributes.codegen.no_builtins.syntax]
+The `no_builtins` attribute uses the [MetaWord] syntax.
+
+r[attributes.codegen.no_builtins.allowed-positions]
+The `no_builtins` attribute can only be applied to the crate root.
+
+r[attributes.codegen.no_builtins.duplicates]
+Only the first use of the `no_builtins` attribute has effect.
+
+> [!NOTE]
+> `rustc` currently lints against uses following the first.
 
 r[attributes.codegen.target_feature]
 ## The `target_feature` attribute