diff --git a/src/c/select.php b/src/c/select.php
index 0283226f..81f7490b 100644
--- a/src/c/select.php
+++ b/src/c/select.php
@@ -374,6 +374,7 @@ function onlyx<T>(
         )
         /* HH_IGNORE_ERROR[2049] __PHPStdLib */
         /* HH_IGNORE_ERROR[4107] __PHPStdLib */
+        /* HH_IGNORE_ERROR[4200] __PHPStdLib */
         : \vsprintf($format_string, $format_args),
     );
     $result = $value;
@@ -386,6 +387,7 @@ function onlyx<T>(
       ? 'Expected non-empty Traversable.'
       /* HH_IGNORE_ERROR[2049] __PHPStdLib */
       /* HH_IGNORE_ERROR[4107] __PHPStdLib */
+      /* HH_IGNORE_ERROR[4200] __PHPStdLib */
       : \vsprintf($format_string, $format_args),
   );
   /* HH_IGNORE_ERROR[4110] $first is false implies $result is set to T */
diff --git a/src/str/format.php b/src/str/format.php
index 22c0a21c..55ed8a03 100644
--- a/src/str/format.php
+++ b/src/str/format.php
@@ -70,5 +70,6 @@ function format(
 ): string {
   /* HH_IGNORE_ERROR[2049] __PHPStdLib */
   /* HH_IGNORE_ERROR[4107] __PHPStdLib */
+  /* HH_IGNORE_ERROR[4200] __PHPStdLib */
   return \vsprintf($format_string, $format_args);
 }