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