From d2c17b16819069ea81ae54614a87502dec9aacf3 Mon Sep 17 00:00:00 2001
From: Alexandre Dieulot <adieulot@gmail.com>
Date: Wed, 19 Feb 2025 19:34:10 +0100
Subject: [PATCH] Clearer `NoInfer<Type>` example

---
 .../copy/en/reference/Utility Types.md        | 19 +++++++++++++------
 1 file changed, 13 insertions(+), 6 deletions(-)

diff --git a/packages/documentation/copy/en/reference/Utility Types.md b/packages/documentation/copy/en/reference/Utility Types.md
index cdd36db38c70..b695a80216ad 100644
--- a/packages/documentation/copy/en/reference/Utility Types.md	
+++ b/packages/documentation/copy/en/reference/Utility Types.md	
@@ -466,16 +466,23 @@ identical to `Type`.
 
 ##### Example
 
-```ts
+```ts twoslash
+// @errors: 2345
+function laxCreateStreetLight<C extends string>(
+  colors: C[],
+  defaultColor?: C,
+) { /* ... */ }
+
+laxCreateStreetLight(["red", "yellow", "green"], "blue");
+// ^?
+
 function createStreetLight<C extends string>(
   colors: C[],
   defaultColor?: NoInfer<C>,
-) {
-  // ...
-}
+) { /* ... */ }
 
-createStreetLight(["red", "yellow", "green"], "red");  // OK
-createStreetLight(["red", "yellow", "green"], "blue");  // Error
+createStreetLight(["red", "yellow", "green"], "blue");
+// ^?
 ```
 
 ## `ThisParameterType<Type>`