Add tests for float|int union type.

phpstan · Feb 1, 2022 · a4cff18 · a4cff18
1 parent 74f0429
commit a4cff18
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tests/PHPStan/Analyser/data/round-php8.php b/tests/PHPStan/Analyser/data/round-php8.php
@@ -7,6 +7,7 @@
 // Round
 assertType('float', round(123));
 assertType('float', round(123.456));
+assertType('float', round($_GET['foo'] / 60));
 assertType('*NEVER*', round('123'));
 assertType('*NEVER*', round('123.456'));
 assertType('*NEVER*', round(null));
@@ -22,6 +23,7 @@
 // Ceil
 assertType('float', ceil(123));
 assertType('float', ceil(123.456));
+assertType('float', ceil($_GET['foo'] / 60));
 assertType('*NEVER*', ceil('123'));
 assertType('*NEVER*', ceil('123.456'));
 assertType('*NEVER*', ceil(null));
@@ -37,6 +39,7 @@
 // Floor
 assertType('float', floor(123));
 assertType('float', floor(123.456));
+assertType('float', floor($_GET['foo'] / 60));
 assertType('*NEVER*', floor('123'));
 assertType('*NEVER*', floor('123.456'));
 assertType('*NEVER*', floor(null));

diff --git a/tests/PHPStan/Analyser/data/round.php b/tests/PHPStan/Analyser/data/round.php
@@ -7,6 +7,7 @@
 // Round
 assertType('float', round(123));
 assertType('float', round(123.456));
+assertType('float', round($_GET['foo'] / 60));
 assertType('float', round('123'));
 assertType('float', round('123.456'));
 assertType('float', round(null));
@@ -22,6 +23,7 @@
 // Ceil
 assertType('float', ceil(123));
 assertType('float', ceil(123.456));
+assertType('float', ceil($_GET['foo'] / 60));
 assertType('float', ceil('123'));
 assertType('float', ceil('123.456'));
 assertType('float', ceil(null));
@@ -37,6 +39,7 @@
 // Floor
 assertType('float', floor(123));
 assertType('float', floor(123.456));
+assertType('float', floor($_GET['foo'] / 60));
 assertType('float', floor('123'));
 assertType('float', floor('123.456'));
 assertType('float', floor(null));