1--TEST--
2Array type declaration
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
15Fatal error: Uncaught TypeError: Argument 1 passed to foo() must be of the type array, int given, called in %s on line 7 and defined in %s:2
16Stack trace:
17#0 %s(%d): foo(123)
18#1 {main}
19  thrown in %s on line 2
20