hphp/test/slow/hni/exception_dtor_order.php

   1 <?hh
   2
   3 class dtor {
   4   public function __construct(private int $i) {}
   5   public function __destruct() { echo "dtor: $this->i\n"; }
   6 }
   7
   8 class invoker {
   9   public function __invoke($x) { throw new exception(); }
  10   public function __destruct() { echo "~invoker\n"; }
  11 }
  12
  13 function foo() {
  14   try {
  15     array_map(new invoker(), array(new dtor(1), new dtor(2)));
  16   } catch (exception $x) {
  17     echo "ok\n";
  18   }
  19 }
  20 foo();
  21 echo "done\n";