Test

Author: ondrejmirtes

tests/PHPStan/Rules/Properties/TypesAssignedToPropertiesRuleTest.php

@@ -182,6 +182,10 @@ public function testBug3777(): void
 				'Property Bug3777\Ipsum2::$ipsum2 (Bug3777\Lorem2<stdClass, Exception>) does not accept Bug3777\Lorem2<Exception, object>.',
 				131,
 			],
+			[
+				'Property Bug3777\Ipsum3::$ipsum3 (Bug3777\Lorem3<stdClass, Exception>) does not accept Bug3777\Lorem3<Exception, stdClass>.',
+				168,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Properties/data/bug-3777.php

@@ -133,3 +133,40 @@ public function __construct()
 	}
 
 }
+
+/**
+ * @template T of object
+ * @template U of object
+ */
+class Lorem3
+{
+
+	/**
+	 * @param T $t
+	 * @param U $u
+	 */
+	public function __construct($t, $u)
+	{
+
+	}
+
+}
+
+class Ipsum3
+{
+
+	/** @var Lorem3<\stdClass, \Exception> */
+	private $lorem3;
+
+	/** @var Lorem3<\stdClass, \Exception> */
+	private $ipsum3;
+
+	public function __construct()
+	{
+		$this->lorem3 = new Lorem3(new \stdClass, new \Exception());
+		assertType('Bug3777\Lorem3<stdClass, Exception>', $this->lorem3);
+		$this->ipsum3 = new Lorem3(new \Exception(), new \stdClass());
+		assertType('Bug3777\Lorem3<Exception, stdClass>', $this->ipsum3);
+	}
+
+}