Nested generic argument bound is not correctly resolved to native type

[hrach]

Bug report

interface Entity {}

/** @template E of Entity */
interface Repository {
	/**
	 * @template F of E
	 * @param F $entity
	 * @return F
	 */
	function store(Entity $entity): Entity;
}

results in

PHPDoc tag @param for parameter $entity with type F is not subtype of native type Entity.
PHPDoc tag @return with type mixed is not subtype of native type Entity.

Code snippet that reproduces the problem

https://phpstan.org/r/4f86dceb-20e1-406d-92d4-eccd8da4c31b

Expected output

no error

[phpstan-bot]

@hrach After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-12: PHPDoc tag @param for parameter $entity with type F is not subtype of native type Entity.
-12: PHPDoc tag @return with type mixed is not subtype of native type Entity.
-12: Template type F of method Repository::store() is not referenced in a parameter.
+No errors

[hrach]

Wow, thanks for fixing it, a non trivial fix I would expect.

[ondrejmirtes]

Yeah, many places still didn't think that template types can be nested like that, but at least the type system is more robust (and ready for more template type bounds!)

[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.