1 ERROR
: File
"subtype_bug_1.php", line 6, characters 46-47:
2 Invalid
argument (Typing
[4110])
3 File
"subtype_bug_1.php", line 5, characters 14-25:
4 Expected `ImmVector
<B
>`
5 File
"subtype_bug_1.php", line 6, characters 15-28:
6 But got `ConstVector
<C
>`
