Add test

Author: VincentLanglet

tests/PHPStan/Rules/Methods/CallMethodsRuleTest.php

@@ -3588,6 +3588,26 @@ public function testBug13171(): void
 		]);
 	}
 
+	public function testBug10719(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+
+		$this->analyse([__DIR__ . '/data/bug-10719.php'], []);
+	}
+
+	public function testBug9141(): void
+	{
+		$this->checkThisOnly = false;
+		$this->checkNullables = true;
+		$this->checkUnionTypes = true;
+		$this->checkExplicitMixed = true;
+
+		$this->analyse([__DIR__ . '/data/bug-9141.php'], []);
+	}
+
 	public function testBug3396(): void
 	{
 		$this->checkThisOnly = false;

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

@@ -0,0 +1,16 @@
+<?php declare(strict_types = 1);
+
+namespace Bug10719;
+
+use DateTime;
+
+$dt1 = null;
+$dt2 = new DateTime();
+
+if (rand(0, 1)) {
+	$dt1 = (clone $dt2)->setTimestamp($dt2->getTimestamp() + 1000);
+}
+
+if ($dt1 > $dt2) {
+	echo $dt1->getTimestamp();
+}

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

@@ -0,0 +1,26 @@
+<?php declare(strict_types = 1);
+
+namespace Bug9141;
+
+use DateTimeImmutable;
+
+class HelloWorld
+{
+
+	private ?DateTimeImmutable $startTime;
+
+	public function __construct() {
+		$this->startTime = new DateTimeImmutable();
+	}
+
+	public function getStartTime(): ?DateTimeImmutable
+	{
+		return $this->startTime;
+	}
+
+}
+
+$helloWorld = new HelloWorld();
+if ($helloWorld->getStartTime() > new DateTimeImmutable()) {
+	echo sprintf('%s', $helloWorld->getStartTime()->format('d.m.y.'));
+}