From b695e834231af738f25857a5a114617c73badfa7 Mon Sep 17 00:00:00 2001
From: Tshepang Mbambo <hopsi@tuta.io>
Date: Fri, 26 Sep 2025 12:51:48 +0200
Subject: [PATCH 1/2] inferred.md: add missing id

---
 src/types/inferred.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/types/inferred.md b/src/types/inferred.md
index 08964f99fe..370b9b195b 100644
--- a/src/types/inferred.md
+++ b/src/types/inferred.md
@@ -13,6 +13,7 @@ surrounding information available.
 r[type.inferred.constraint]
 It cannot be used in item signatures.
 
+r[type.inferred.usage]
 It is often used in generic arguments:
 
 ```rust

From d24ba163cb988ded21cf4ecae0506e40ae8de909 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sun, 28 Sep 2025 16:54:27 -0700
Subject: [PATCH 2/2] Move inferred type example to an example block

This text really belonged with the introduction, since it isn't an
explicit rule, but more of a commentary on how the inferred type is
used.
---
 src/types/inferred.md | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/types/inferred.md b/src/types/inferred.md
index 370b9b195b..f5736b6427 100644
--- a/src/types/inferred.md
+++ b/src/types/inferred.md
@@ -10,15 +10,15 @@ r[type.inferred.intro]
 The inferred type asks the compiler to infer the type if possible based on the
 surrounding information available.
 
-r[type.inferred.constraint]
-It cannot be used in item signatures.
-
-r[type.inferred.usage]
-It is often used in generic arguments:
+> [!EXAMPLE]
+> The inferred type is often used in generic arguments:
+>
+> ```rust
+> let x: Vec<_> = (0..10).collect();
+> ```
 
-```rust
-let x: Vec<_> = (0..10).collect();
-```
+r[type.inferred.constraint]
+The inferred type cannot be used in item signatures.
 
 <!--
   What else should be said here?