Typehint not trusted if code is inside method

[InvisibleSmiley]

Bug report

If PHPStan is instructed to trust typehints, it does it only for top-level code, not for code inside a method.

Code snippet that reproduces the problem

https://phpstan.org/r/08e5a1cd-bb50-45c5-ab70-b5530b2815dd

Expected output

PHPStan should trust the typehint if it is instructed to do so.
The dependency between the two variables is another issue that doesn't need to be resolved here.

[phpstan-bot]

@InvisibleSmiley After the latest push in 1.9.x, PHPStan now reports different result with your code snippet:

@@ @@
-32: Variable $a might not be defined.
+No errors

[phpstan-bot]

@InvisibleSmiley After the latest push in 2.0.x, PHPStan now reports different result with your code snippet:

@@ @@
+32: PHPDoc tag @var with type int is not subtype of native type int<3, max>.
 32: Variable $a might not be defined.

Full report

Line	Error
32	PHPDoc tag @var with type int is not subtype of native type int<3, max>.
32	Variable $a might not be defined.

[phpstan-bot]

@InvisibleSmiley After the latest push in 2.2.x, PHPStan now reports different result with your code snippet:

@@ @@
-32: Variable $a might not be defined.
+32: PHPDoc tag @var with type int is not subtype of native type int<3, max>.

Full report

Line	Error
32	PHPDoc tag @var with type int is not subtype of native type int<3, max>.

[phpstan-bot]

Closed via merging phpstan/phpstan-src#5545