More tests

Author: VincentLanglet

tests/PHPStan/Analyser/nsrt/bug-9435.php

@@ -28,6 +28,10 @@ function trueCheck(mixed $input, bool $allow_null = false): void
 trueCheck($a, allow_null: false);
 assertType('string', $a); // correct (string)
 
+$a = x();
+trueCheck(allow_null: false, input: $a);
+assertType('string', $a); // correct (string)
+
 $a = x();
 trueCheck($a, true);
 assertType('string|null', $a); // correct (string|null)
@@ -36,6 +40,10 @@ function trueCheck(mixed $input, bool $allow_null = false): void
 trueCheck($a, allow_null: true);
 assertType('string|null', $a); // correct (string|null)
 
+$a = x();
+trueCheck(allow_null: true, input: $a);
+assertType('string|null', $a); // correct (string|null)
+
 /** @phpstan-assert ($allow_null is false ? string : string|null) $input */
 function falseCheck(mixed $input, bool $allow_null = false): void
 {
@@ -53,6 +61,10 @@ function falseCheck(mixed $input, bool $allow_null = false): void
 falseCheck($a, allow_null: false);
 assertType('string', $a); // correct (string)
 
+$a = x();
+falseCheck(allow_null: false, input: $a);
+assertType('string', $a); // correct (string|null)
+
 $a = x();
 falseCheck($a, true);
 assertType('string|null', $a); // correct (string|null)
@@ -61,6 +73,10 @@ function falseCheck(mixed $input, bool $allow_null = false): void
 falseCheck($a, allow_null: true);
 assertType('string|null', $a); // correct (string|null)
 
+$a = x();
+falseCheck(allow_null: true, input: $a);
+assertType('string|null', $a); // correct (string|null)
+
 /** @phpstan-assert ($allow_null is not true ? string : string|null) $input */
 function notTrueCheck(mixed $input, bool $allow_null = false): void
 {
@@ -78,6 +94,10 @@ function notTrueCheck(mixed $input, bool $allow_null = false): void
 notTrueCheck($a, allow_null: false);
 assertType('string', $a); // correct (string)
 
+$a = x();
+notTrueCheck(allow_null: false, input: $a);
+assertType('string', $a); // correct (string|null)
+
 $a = x();
 notTrueCheck($a, true);
 assertType('string|null', $a); // correct (string|null)
@@ -86,6 +106,10 @@ function notTrueCheck(mixed $input, bool $allow_null = false): void
 notTrueCheck($a, allow_null: true);
 assertType('string|null', $a); // correct (string|null)
 
+$a = x();
+notTrueCheck(allow_null: true, input: $a);
+assertType('string|null', $a); // correct (string|null)
+
 /** @phpstan-assert ($allow_null is not false ? string|null : string) $input */
 function notFalseCheck(mixed $input, bool $allow_null = false): void
 {
@@ -103,10 +127,18 @@ function notFalseCheck(mixed $input, bool $allow_null = false): void
 notFalseCheck($a, allow_null: false);
 assertType('string', $a); // correct (string)
 
+$a = x();
+notFalseCheck(allow_null: false, input: $a);
+assertType('string', $a); // correct (string|null)
+
 $a = x();
 notFalseCheck($a, true);
 assertType('string|null', $a); // correct (string|null)
 
 $a = x();
 notFalseCheck($a, allow_null: true);
 assertType('string|null', $a); // correct (string|null)
+
+$a = x();
+notFalseCheck(allow_null: true, input: $a);
+assertType('string|null', $a); // correct (string|null)