Help wantedbug
Repository metrics
- Stars
- (5,369 stars)
- PR merge metrics
- (Avg merge 3d 12h) (5 merged PRs in 30d)
Description
psalm is inconsistent in when it says "RedundantCondition" on instanceof checks.
https://psalm.dev/r/377cb86ce7
interface I {}
class C {}
/**
* @param I $o
*/
function fI(I $o): void {
// Not redundant?
if ($o instanceof I) {
print 'yes';
}
}
/**
* @param C $o
*/
function fC(C $o): void {
// ERROR: RedundantCondition - 20:9 - Type C for $o is always C
if ($o instanceof C) {
print 'yes';
}
}