1 File
"check_override_synthesized_traits.php", line 24, characters 17-17:
2 Some members in class `B` are incompatible with those declared in type `A`
(Typing
[4341])
3 File
"check_override_synthesized_traits.php", line 17, characters 19-21:
4 The method `foo` is not compatible with the overridden method
5 File
"check_override_synthesized_traits.php", line 17, characters 23-28:
7 File
"check_override_synthesized_traits.php", line 4, characters 23-25: