Cloning $this doesn't preserve generic bound for static type

[hrach]

Bug report

With the latest parent/static rewrite I'm getting Method A::get() should return static(A) but returns A<mixed>..

/** @template T of int */
interface I { 
	/**
	 * @return static
	 */
	function get(): I;
}
/**
 * @template T of int
 * @implements I<T>
 */
final class B implements I { function get(): I { return clone $this; } }

Code snippet that reproduces the problem

https://phpstan.org/r/fbb73145-4bf3-4129-92d2-c4a6537f03d5

Expected output

no error

[ondrejmirtes]

Hi, the error isn't about the clone keyword, but about the method signature:

Return type (B) of method B::get() should be compatible with return type (static(I)) of method I::get()

And it only happens when the class is final: https://phpstan.org/r/7ccf0ea9-1f2a-461a-b0b4-632587b78543

I'm gonna investigate this.

[hrach]

I'm sorry I knew it is only with final case but forgot to write it.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@8f0150d

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.