1--TEST--
2Generator wit type check
3--FILE--
4<?php
5function gen(array $a) { yield; }
6gen(42);
7?>
8--EXPECTF--
9Fatal error: Uncaught TypeError: gen(): Argument #1 ($a) must be of type array, int given, called in %s:%d
10Stack trace:
11#0 %sgenerator_with_type_check.php(3): gen(42)
12#1 {main}
13  thrown in %sgenerator_with_type_check.php on line 2
14