diff --git a/src/Psalm/Internal/Stubs/CoreGenericFunctions.phpstub b/src/Psalm/Internal/Stubs/CoreGenericFunctions.phpstub
index ebb7c88b870..6381c7cef7d 100644
--- a/src/Psalm/Internal/Stubs/CoreGenericFunctions.phpstub
+++ b/src/Psalm/Internal/Stubs/CoreGenericFunctions.phpstub
@@ -731,3 +731,8 @@ function strval ($var): string {}
 function str_getcsv(string $input, string $delimiter = ',', string $enclosure = '"', string $escape = '\\\\')
 {
 }
+
+/**
+ * @return ($min is positive-int ? positive-int : int)
+ */
+function random_int(int $min, int $max): int {}