1 File
"newtype_subtype_mixed_bad.php--use.php", line 5, characters 10-11:
2 Invalid
return type
(Typing
[4110])
3 File
"newtype_subtype_mixed_bad.php--use.php", line 4, characters 25-26:
5 File
"newtype_subtype_mixed_bad.php--use.php", line 4, characters 18-18: