2020-03-19 12:32:49 -04:00
|
|
|
# RedundantCondition
|
|
|
|
|
|
|
|
|
|
Emitted when conditional is redundant given previous assertions
|
|
|
|
|
|
|
|
|
|
```php
|
2020-03-20 19:13:46 -04:00
|
|
|
<?php
|
|
|
|
|
|
2020-03-19 12:32:49 -04:00
|
|
|
class A {}
|
|
|
|
|
function foo(A $a) : ?A {
|
|
|
|
|
if ($a) return $a;
|
|
|
|
|
return null;
|
|
|
|
|
}
|
|
|
|
|
```
|
