1 ERROR
: File
"box_parametrized.php", line 13, characters 14-20:
2 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
3 File
"box_parametrized.php", line 8, characters 7-13:
5 ERROR
: File
"box_parametrized.php", line 18, characters 15-20:
6 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
7 File
"box_parametrized.php", line 7, characters 7-12:
9 ERROR
: File
"box_parametrized.php", line 20, characters 15-21:
10 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
11 File
"box_parametrized.php", line 8, characters 7-13:
13 ERROR
: File
"box_parametrized.php", line 26, characters 21-26:
14 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
15 File
"box_parametrized.php", line 7, characters 7-12:
17 ERROR
: File
"box_parametrized.php", line 27, characters 28-34:
18 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
19 File
"box_parametrized.php", line 8, characters 7-13:
21 ERROR
: File
"box_parametrized.php", line 31, characters 29-35:
22 Wrong number of type arguments
(expected
1, got
0) (Typing
[4101])
23 File
"box_parametrized.php", line 8, characters 7-13: