1--TEST--
2Make sure type inference upholds invariants for dead arrays
3--FILE--
4<?php
5
6function test() {
7    foreach ($a as $v) {
8        $b[] = $v;
9    }
10}
11
12test();
13
14?>
15--EXPECTF--
16Warning: Undefined variable $a in %s on line %d
17
18Warning: foreach() argument must be of type array|object, null given in %s on line %d
19