1--TEST--
2Array type hint
3--FILE--
4<?php
5function foo(array $a) {
6	echo count($a)."\n";
7}
8
9foo(array(1,2,3));
10foo(123);
11?>
12--EXPECTF--
133
14
15Catchable fatal error: Argument 1 passed to foo() must be of the type array, integer given, called in %sarray_type_hint_001.php on line 7 and defined in %sarray_type_hint_001.php on line 2
16