@@ -807,8 +807,6 @@ protected static function triggerIssueForImpossible(
807
807
): void {
808
808
$ not = $ assertion [0 ] === '! ' ;
809
809
810
- $ safe_assertion = $ assertion ;
811
-
812
810
if ($ not ) {
813
811
$ assertion = substr ($ assertion , 1 );
814
812
}
@@ -832,7 +830,7 @@ protected static function triggerIssueForImpossible(
832
830
. ' for ' . $ key
833
831
. ' is ' . ($ not ? 'never ' : 'always ' ) . $ assertion ,
834
832
$ code_location ,
835
- $ old_var_type_string . ' ' . $ safe_assertion
833
+ $ old_var_type_string . ' ' . $ assertion
836
834
),
837
835
$ suppressed_issues
838
836
)) {
@@ -845,7 +843,7 @@ protected static function triggerIssueForImpossible(
845
843
. ' for ' . $ key
846
844
. ' is ' . ($ not ? 'never ' : 'always ' ) . $ assertion ,
847
845
$ code_location ,
848
- $ old_var_type_string . ' ' . $ safe_assertion
846
+ $ old_var_type_string . ' ' . $ assertion
849
847
),
850
848
$ suppressed_issues
851
849
)) {
@@ -860,7 +858,7 @@ protected static function triggerIssueForImpossible(
860
858
. ' for ' . $ key
861
859
. ' is ' . ($ not ? 'always ' : 'never ' ) . $ assertion ,
862
860
$ code_location ,
863
- $ old_var_type_string . ' ' . $ safe_assertion
861
+ $ old_var_type_string . ' ' . $ assertion
864
862
),
865
863
$ suppressed_issues
866
864
)) {
@@ -873,15 +871,15 @@ protected static function triggerIssueForImpossible(
873
871
. ' for ' . $ key
874
872
. ' is never ' . $ assertion ,
875
873
$ code_location ,
876
- $ old_var_type_string . ' ' . $ safe_assertion
874
+ $ old_var_type_string . ' ' . $ assertion
877
875
);
878
876
} else {
879
877
$ issue = new TypeDoesNotContainType (
880
878
'Type ' . $ old_var_type_string
881
879
. ' for ' . $ key
882
880
. ' is ' . ($ not ? 'always ' : 'never ' ) . $ assertion ,
883
881
$ code_location ,
884
- $ old_var_type_string . ' ' . $ safe_assertion
882
+ $ old_var_type_string . ' ' . $ assertion
885
883
);
886
884
}
887
885
0 commit comments