bug: psalm-assert-if-true results in redundant-type-comparison #831
Description
Description
I have uses of
Type\property_name_of($input::class)->assert($field);
but mago reports it as
warning[redundant-type-comparison]: Redundant type assertion: `$field` of type `non-empty-string` is always not `non-empty-string`.
this is because PropertyNameOfType has a @psalm-assert non-empty-string $value, but it's not the only thing the function asserts.
Playground Link
No response
Reproduction
No response
Environment
mago v1.0.3