[Issue] Try to reproduce Call to static method Webmozart\Assert\Assert::uuid() with non-empty-string will always evaluate to true.

[simPod]

I fail to reproduce it in test case but it's kind of hard to debug tests since they're loaded from phar and not very flexible then.

I'm getting:

Call to static method Webmozart\Assert\Assert::uuid() with non-empty-string will always evaluate to true.

Assert::stringNotEmpty($id); // I need both in order to have more precise assertion message
Assert::uuid($id);

with phpstan v1.4 and 1.0.7 extesnion

[herndlm]

Are you using phpstan-strict-rules maybe? I managed to reproduce it in an integration kind of test in #86.

But as the error is coming from that rule it might be config only then. I didn't have time yet to debug it.

UPDATE: looks very much like just the checkAlwaysTrueCheckTypeFunctionCall constructor arg needs to be enabled. I guess then it can be re-produced with such a rule test!

[simPod]

Are you using phpstan-strict-rules maybe?

yes, I do.

I see a lot of changes in #86 related to non-empty string, will it covert this?

[herndlm]

Unfortuntely not, see last comment there. I'm basically waiting on input from Ondrej now. See also #85 where I suggested to revert the changes that broke this for now.

[herndlm]

-> #89 / 8b080dc

[ondrejmirtes]

Reproduced in #89