add NoInfer

Author: gibbok

README-zh_CN.md

@@ -203,6 +203,7 @@
       - [Lowercase\<T\>](#lowercaset)
       - [Capitalize\<T\>](#capitalizet)
       - [Uncapitalize\<T\>](#uncapitalizet)
+      - [NoInfer\<T\>](#noinfert)
   - [其他](#其他)
     - [错误和异常处理](#错误和异常处理)
     - [混合类](#混合类)
@@ -4010,6 +4011,32 @@ type MyType = Capitalize<'abc'>; // "Abc"
 type MyType = Uncapitalize<'Abc'>; // "abc"
 ```
 
+#### NoInfer\<T\>
+
+NoInfer 是一种实用类型，旨在阻止泛型函数范围内类型的自动推断。
+
+示例：
+
+<!-- skip -->
+```typescript
+// 泛型函数范围内类型的自动推断。
+function fn<T extends string>(x: T[], y: T) {
+return x.concat(y);
+}
+const r = fn(['a', 'b'], 'c'); // 此处的类型为 ("a" | "b" | "c")[]
+```
+
+使用 NoInfer：
+
+```typescript
+// 使用 NoInfer 阻止类型推断的示例函数
+function fn2<T extends string>(x: T[], y: NoInfer<T>) {
+return x.concat(y);
+}
+
+const r2 = fn2(['a', 'b'], 'c'); // 错误：类型为“c”的类型参数不能分配给类型为“a”|“b”的参数。
+```
+
 ## 其他
 
 ### 错误和异常处理

README.md

@@ -202,6 +202,7 @@ An online version is available at:
       - [Lowercase\<T\>](#lowercaset)
       - [Capitalize\<T\>](#capitalizet)
       - [Uncapitalize\<T\>](#uncapitalizet)
+      - [NoInfer\<T\>](#noinfert)
   - [Others](#others)
     - [Errors and Exception Handling](#errors-and-exception-handling)
     - [Mixin classes](#mixin-classes)
@@ -4043,6 +4044,32 @@ Uncapitalize the name of the input type T.
 type MyType = Uncapitalize<'Abc'>; // "abc"
 ```
 
+#### NoInfer\<T\>
+
+NoInfer is a utility type designed to block the automatic inference of types within the scope of a generic function.
+
+Example:
+
+<!-- skip -->
+```typescript
+// Automatic inference of types within the scope of a generic function.
+function fn<T extends string>(x: T[], y: T) {
+ return x.concat(y);
+}
+const r = fn(['a', 'b'], 'c'); // Type here is ("a" | "b" | "c")[]
+```
+
+With NoInfer:
+
+```typescript
+// Example function that uses NoInfer to prevent type inference
+function fn2<T extends string>(x: T[], y: NoInfer<T>) {
+ return x.concat(y);
+}
+
+const r2 = fn2(['a', 'b'], 'c'); // Error: Type Argument of type '"c"' is not assignable to parameter of type '"a" | "b"'.
+```
+
 ## Others
 
 ### Errors and Exception Handling