Migrate Str functions to TypedFormatString

Summary: Use `TypedFormatString` in place of `FormatString` in functions in `Str`.

Reviewed By: viratyosin

Differential Revision: D90621610

fbshipit-source-id: ef263f88a5bbb3a0c5598f8514e150e1ff8e9396

Author: Andrew Kennedy

hphp/hsl/src/str/format.php

@@ -71,9 +71,14 @@ public function format_wild(): SprintfFormat;
  * @guide /hack/built-in-types/string
  * @guide /hack/functions/format-strings
  */
-function format(
-  SprintfFormatString $format_string,
-  mixed ...$format_args
+<<__NoAutoLikes>>
+function format<Targs as (mixed...)>(
+  \HH\TypedFormatString<SprintfFormat, Targs> $format_string,
+  ... Targs $format_args,
 )[]: string {
-  return _Str\vsprintf_l(null, $format_string, $format_args);
+  return _Str\vsprintf_l(
+    null,
+    $format_string,
+    HH\FIXME\UNSAFE_CAST<(mixed...), vec<mixed>>($format_args),
+  );
 }

hphp/hsl/src/str/format_l.php

@@ -20,10 +20,15 @@
  * @guide /hack/built-in-types/string
  * @guide /hack/functions/format-strings
  */
-function format_l(
+<<__NoAutoLikes>>
+function format_l<Targs as (mixed...)>(
   Locale\Locale $locale,
-  SprintfFormatString $format_string,
-  mixed ...$format_args
+  \HH\TypedFormatString<SprintfFormat, Targs> $format_string,
+  ... Targs $format_args,
 )[]: string {
-  return _Str\vsprintf_l($locale, $format_string, $format_args);
+  return _Str\vsprintf_l(
+    $locale,
+    $format_string,
+    HH\FIXME\UNSAFE_CAST<(mixed...), vec<mixed>>($format_args),
+  );
 }