regression tests

Author: staabm

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

@@ -0,0 +1,24 @@
+<?php
+
+namespace Bug10482;
+
+use function PHPStan\Testing\assertType;
+
+class Test
+{
+	public ?int $id;
+}
+
+$test = new Test();
+if (rand(0, 1)) {
+	$test = null;
+}
+
+$testId = $test?->id;
+if (null !== $testId) {
+	assertType('Bug10482\Test', $test);
+}
+
+if ($testId) {
+	assertType('Bug10482\Test', $test);
+}

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

@@ -0,0 +1,17 @@
+<?php
+
+namespace Bug13709;
+
+use function PHPStan\Testing\assertType;
+
+function doFOo(string $shortName): void
+{
+	$pos = strpos($shortName, '\\');
+	if ($pos === false) {
+		return;
+	}
+
+	assertType('non-falsy-string', $shortName);
+}
+
+

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3891,4 +3891,13 @@ public function testBug9820(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.1')]
+	public function testBug6120(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->analyse([__DIR__ . '/data/bug-6120.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Methods/data/bug-6120.php

@@ -0,0 +1,20 @@
+<?php // lint >= 8.0
+
+declare(strict_types=1);
+
+namespace Bug6120;
+
+class Clazz
+{
+
+	public int $foo = 0;
+
+	public function bar(?Clazz $clazz): void
+	{
+		$result = $clazz?->foo;
+		if ($result !== null) {
+			$clazz->bar(null);
+		}
+	}
+
+}