Updated with constant types support

Author: ondrejmirtes

Diff for: src/Rules/StrictCalls/StrictFunctionCallsRule.php

@@ -2,6 +2,8 @@
 
 namespace PHPStan\Rules\StrictCalls;
 
+use PHPStan\Type\Constant\ConstantBooleanType;
+
 class StrictFunctionCallsRule implements \PHPStan\Rules\Rule
 {
 
@@ -56,7 +58,8 @@ public function processNode(\PhpParser\Node $node, \PHPStan\Analyser\Scope $scop
 		}
 
 		$argumentType = $scope->getType($node->args[$argumentPosition]->value);
-		if (!$argumentType instanceof \PHPStan\Type\TrueBooleanType) {
+		$trueType = new ConstantBooleanType(true);
+		if (!$trueType->isSuperTypeOf($argumentType)->yes()) {
 			return [sprintf('Call to function %s() requires parameter #%d to be true.', $functionName, $argumentPosition + 1)];
 		}
 

Diff for: tests/Rules/StrictCalls/StrictFunctionCallsRuleTest.php

@@ -63,6 +63,10 @@ public function testRule(): void
 				'Call to function array_keys() requires parameter #3 to be set.',
 				23,
 			],
+			[
+				'Call to function array_keys() requires parameter #3 to be true.',
+				31,
+			],
 		]);
 	}
 

Diff for: tests/Rules/StrictCalls/data/strict-calls.php

@@ -25,3 +25,7 @@
 
 $dynamicCall = 'foo';
 $dynamicCall();
+
+/** @var bool $bool */
+$bool = doFoo();
+array_keys([1, 2, 3], 1, $bool);

Diff for: tests/Rules/SwitchConditions/MatchingTypeInSwitchCaseConditionRuleTest.php

@@ -16,15 +16,19 @@ public function testRule(): void
 	{
 		$this->analyse([__DIR__ . '/data/matching-type.php'], [
 			[
-				'Switch condition type (int) does not match case condition \'test\' (string).',
+				'Switch condition type (int(1)) does not match case condition \'test\' (string).',
 				8,
 			],
 			[
-				'Switch condition type (int) does not match case condition 1 > 2 (bool).',
+				'Switch condition type (int(1)) does not match case condition 1 > 2 (bool).',
 				8,
 			],
 			[
-				'Switch condition type (string) does not match case condition 1 (int).',
+				'Switch condition type (string) does not match case condition 1 (int(1)).',
+				19,
+			],
+			[
+				'Switch condition type (string) does not match case condition \'test\' (string).',
 				19,
 			],
 			[