Test loose comparison on constant types

Author: staabm

tests/PHPStan/Analyser/nsrt/loose-comparisons-php7.php

@@ -60,5 +60,13 @@ public function sayInt(
 		assertType('bool', $int == $emptyStr);
 		assertType('bool', $int == $phpStr);
 		assertType('bool', $int == 'a');
+
+		assertType('bool', 5 == $emptyStr);
+		assertType('bool', 5 == $phpStr);
+		assertType('bool', 5 == 'a');
+
+		assertType('bool', $emptyStr == 5);
+		assertType('bool', $phpStr == 5);
+		assertType('bool', 'a' == 5);
 	}
 }

tests/PHPStan/Analyser/nsrt/loose-comparisons-php8.php

@@ -66,6 +66,14 @@ public function sayInt(
 		assertType('false', $intRange == $emptyStr);
 		assertType('false', $intRange == $phpStr);
 		assertType('false', $intRange == 'a');
+
+		assertType('false', 5 == $emptyStr);
+		assertType('false', 5 == $phpStr);
+		assertType('false', 5 == 'a');
+
+		assertType('false', $emptyStr == 5);
+		assertType('false', $phpStr == 5);
+		assertType('false', 'a' == 5);
 	}
 
 }

tests/PHPStan/Analyser/nsrt/loose-comparisons.php

@@ -651,6 +651,12 @@ public function sayInt(
 		assertType('false', $intRange == $emptyArr);
 		assertType('false', $intRange == $array);
 
+		assertType('false', 5 == $emptyArr);
+		assertType('false', $emptyArr == 5);
+		assertType('false', 5 == $array);
+		assertType('false', $array == 5);
+		assertType('false', [] == 5);
+		assertType('false', 5 == []);
 	}
 
 	/**
@@ -747,6 +753,12 @@ public function sayIntersection(
 		assertType('false', $nonEmptyArr == $emptyArr);
 		assertType('bool', $arr == $nonEmptyArr);
 		assertType('bool', $nonEmptyArr == $arr);
+		assertType('false', 5 == $arr);
+		assertType('false', $arr == 5);
+		assertType('false', 5 == $emptyArr);
+		assertType('false', $emptyArr == 5);
+		assertType('false', 5 == $nonEmptyArr);
+		assertType('false', $nonEmptyArr == 5);
 
 		assertType('bool', '' == $lower);
 		if ($lower != '') {