hphp/test/quick/exception_bug_1351681.php

   1 <?hh
   2 function doThrow() :mixed{ throw new Exception("blah!"); }
   3 function foo() :mixed{
   4   foreach (vec[1, 2, 3] as $_) {
   5     doThrow();
   6   }
   7   try { echo "Hi\n"; } catch (Exception $ex) { echo "We should not reach here\n"; }
   8 }
   9 <<__EntryPoint>> function main(): void {
  10 try {
  11   foo();
  12 } catch (Exception $x) {
  13   echo "it's ok\n";
  14 }
  15 }