Please add your efforts reproducing this case, thanks.

Please add your efforts reproducing this case, thanks.

I had basically nothing.

My issue is that https://github.com/phpstan/phpstan-beberlei-assert/blob/master/tests/Type/BeberleiAssert/ImpossibleCheckTypeMethodCallRuleTest.php is a RuleTestCase but here, I'm testing a TypeSpecifier, so I don't have any rule to provide (and instead dunno how to provide the type specifier).

It works exactly the same way, you just need to provide a file that shows the code that fails (but shouldn't fail).

It works exactly the same way, you just need to provide a file that shows the code that fails (but shouldn't fail).

But what do I pass to

protected function getRule(): Rule

?

The same thing I linked, you just copy that part.

The same thing I linked, you just copy that part.

Oh my bad, I've updated the tests now.
I check that request_get_session.php has no phpstan error. Without the fix I tried, and I had the "always true" error.

Thank you!