From 85deee70861dfbb8f72c16e752d4a92e07df31c0 Mon Sep 17 00:00:00 2001
From: Kirill Smelov <kirill.smelov@jetbrains.com>
Date: Wed, 20 Jan 2021 10:30:47 +0300
Subject: [PATCH] Conditional return type for microtime/gettimeofday

#WI-58098 Fixed
---
 .../internal/ReturnTypeContract.php           | 19 +++++++++++++++++++
 standard/standard_3.php                       |  5 +++--
 2 files changed, 22 insertions(+), 2 deletions(-)
 create mode 100644 meta/attributes/internal/ReturnTypeContract.php

diff --git a/meta/attributes/internal/ReturnTypeContract.php b/meta/attributes/internal/ReturnTypeContract.php
new file mode 100644
index 000000000..38927d3b9
--- /dev/null
+++ b/meta/attributes/internal/ReturnTypeContract.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace JetBrains\PhpStorm\Internal;
+
+use Attribute;
+
+/**
+ * For PhpStorm internal use only
+ * @since 8.0
+ * @internal
+ */
+#[Attribute(Attribute::TARGET_PARAMETER)]
+class ReturnTypeContract
+{
+    public function __construct(
+        string $true,
+        string $false
+    ) {}
+}
diff --git a/standard/standard_3.php b/standard/standard_3.php
index 948c45ac2..0459888d6 100644
--- a/standard/standard_3.php
+++ b/standard/standard_3.php
@@ -4,6 +4,7 @@
 use JetBrains\PhpStorm\Deprecated;
 use JetBrains\PhpStorm\Internal\LanguageLevelTypeAware;
 use JetBrains\PhpStorm\Pure;
+use JetBrains\PhpStorm\Internal\ReturnTypeContract as TypeContract;
 
 /**
  * Gets time of last page modification
@@ -875,7 +876,7 @@ function sys_getloadavg (): array|false
  * @return string|float
  */
 #[Pure]
-function microtime (bool $as_float): string|float
+function microtime (#[TypeContract(true: "float", false: "string")] bool $as_float): string|float
 {}
 
 /**
@@ -895,7 +896,7 @@ function microtime (bool $as_float): string|float
  * "dsttime" - type of dst correction
  */
 #[Pure]
-function gettimeofday (bool $as_float): array|float
+function gettimeofday (#[TypeContract(true: "float", false: "int[]")] bool $as_float): array|float
 {}
 
 /**