Skip to content

Commit

Permalink
Update type
Browse files Browse the repository at this point in the history
  • Loading branch information
VincentLanglet committed Dec 24, 2022
1 parent 06010b4 commit ebd5727
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/TypeReconciliation/RedundantConditionTest.php
Expand Up @@ -1085,7 +1085,7 @@ function takesA(A $a): void {}
/** @psalm-suppress PossiblyNullArgument */
takesA($a);
if ($a instanceof A) {}',
'error_message' => 'RedundantCondition - src' . DIRECTORY_SEPARATOR . 'somefile.php:15',
'error_message' => 'RedundantConditionGivenDocblockType - src' . DIRECTORY_SEPARATOR . 'somefile.php:15',
],
'replaceFalseType' => [
'code' => '<?php
Expand Down

0 comments on commit ebd5727

Please sign in to comment.