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: foo(): Argument #1 ($a) must be of type array, int given, called in %s:%d
16Stack trace:
17#0 %s(%d): foo(123)
18#1 {main}
19  thrown in %s on line 2
20