1 File
"bad_contra_pos_test.php", line 20, characters 15-21:
2 Invalid
argument (Typing
[4110])
3 File
"bad_contra_pos_test.php", line 11, characters 25-25:
4 This is an object of type I
5 File
"bad_contra_pos_test.php", line 15, characters 11-12:
6 It is incompatible with a nullable type
