win(исправление): fix 2

fix 2

Author: nauchikus

what-is-new/4.8/Улучшение вывода для infer в литеральных строковых типах/content.md

@@ -0,0 +1,23 @@
+## Улучшение вывода для infer в литеральных строковых типах
+
+Начиная с текущей версии _TypeScript_ анализирует тип переменных типа `infer` определенных в литеральных строковых типах.  
+
+`````ts
+function f0 ( p: "true" extends `${ infer U extends boolean }` ? U : never ) {
+    p; // (раньше) boolean (теперь) true
+}
+function f1 ( p: "100" extends `${ infer U extends number }` ? U : never ) {
+    p; // (раньше) number (теперь) 100
+}
+function f2 ( p: "100" extends `${ infer U extends bigint }` ? U : never ) {
+    p; // (раньше) bigint (теперь) 100n
+}
+`````
+
+Но есть один нюанс на который стоит обратить внимание. Дело в том, что новый механизм судит о принадлежности типа на основе двухстороннего анализа. То есть, он сначала преобразует значение к указанному типу, а затем преобразует его обратно к первостепенному типу. И если значение полученное в результате преобразования будет отличаться, то тип будет выведен не литеральный. То есть, логическое выражение `String(Boolean("true"")) === "true"` будет верным, а вот `String(Number("1.0")) === "1.0"` нет, поскольку результатом преобразования `String(Number("1.0"))` будет `1`, а не `1.0`.
+
+`````ts
+function f ( p: "1.0" extends `${ infer T extends number }` ? T : never ) {
+    p; // (раньше) number (теперь) number
+}
+`````