Generics does not respect type but fallback to basic types

[bastien-phi]

Bug report

Not sure if it was already reported but it looks like generics fallback to basic type and does not keep defined type.

Code snippet that reproduces the problem

/**
 * @template TValue
 */
class Foo
{
	/** @var TValue */
	public $value;
	
	/**
	 * @param TValue $value
	 */
	public function __construct($value) {
	  $this->value = $value;	
	}
}

/** @var class-string<Exception> $exceptionClass */
dumpType((new Foo($exceptionClass))->value);

https://phpstan.org/r/94faaba1-0ed2-4d54-8ff0-130a0bf2fb03

Expected output

We expect the value to be of type class-string<Exception>.

Did PHPStan help you today? Did it make you happy in any way?

As always, amazing tool. It makes me more confident on my code. Great job !

[arnaud-lb]

Related: #6505

[phpstan-bot]

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

@@ @@
-22: Dumped type: string
+22: Dumped type: class-string<Exception>

Full report

Line	Error
22	Dumped type: class-string<Exception>

[ondrejmirtes]

Fixed: phpstan/phpstan-src@1b117f7

[bastien-phi]

Thanks @ondrejmirtes and @arnaud-lb !

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