test

Author: zonuexe

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

@@ -0,0 +1,35 @@
+<?php declare(strict_types = 1);
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+    protected const A = 'Foo';
+
+	/** @return positive-int */
+	function bbb(): int
+	{
+		return 1;
+	}
+}
+
+final class Bar extends Foo
+{
+    protected const A = 'Bar';
+
+	/** @return 2 */
+	#[\Override]
+	function bbb(): int
+	{
+		return 2;
+	}
+}
+
+ assertType("'Foo'", Closure::bind(static fn () => Foo::A, null, Foo::class)());
+//assertType("'Foo'", Closure::bind(static fn () => self::A, null, Foo::class)());
+ assertType("'Foo'", Closure::bind(static fn () => Foo::A, null, Bar::class)());
+//assertType("'Foo'", Closure::bind(static fn () => parent::A, null, Bar::class)());
+ assertType("'Foo'", Closure::bind(static fn () => Bar::A, null, Bar::class)());
+//assertType("'Bar'", Closure::bind(static fn () => self::A, null, Bar::class)());
+
+// assertType("'Foo'", Closure::bind(static fn () => Closure::bind(static fn () => self::A, null, Foo::class)(), null, Bar::class)());