Check for void/noreturn in conditionals
[hiphop-php.git] / hphp / hack / test / typecheck / foreach_vector.php.exp
blob04902a75ee5e589478e30b85cad7d6ad67e276c1
1 File "foreach_vector.php", line 21, characters 10-17:
2 Typing error (Typing[4110])
3 File "foreach_vector.php", line 21, characters 10-13:
4 This is a num (int/float) because this is used in an arithmetic operation
5 File "foreach_vector.php", line 18, characters 19-21:
6 It is incompatible with an object of type Foo
7 File "hhi_lib__srcs/collections/Vector.hhi", line 49, characters 49-50:
8 via this generic Tv
9 File "hhi_lib__srcs/collections/interfaces.hhi", line 522, characters 49-50:
10 via this generic Tv
11 File "hhi_lib__srcs/collections/interfaces.hhi", line 271, characters 55-56:
12 via this generic Tv
13 File "hhi_lib__srcs/interfaces.hhi", line 520, characters 63-64:
14 via this generic Tv
15 File "hhi_lib__srcs/interfaces.hhi", line 54, characters 58-59:
16 via this generic Tv