hphp/hack/test/typecheck/list_assign_union.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 function f(vec<int> $a, (string, bool) $b, bool $x): void {
   5   $z = $x ? $a : $b;
   6   list($a, $b) = $z;
   7   hh_show($a);
   8   hh_show($b);
   9 }
  10
  11 function g((int, string) $a, Pair<bool, float> $b, bool $x): void {
  12   $z = $x ? $a : $b;
  13   list($a, $b) = $z;
  14   hh_show($a);
  15   hh_show($b);
  16 }
  17
  18 function h((float, bool) $a, dynamic $b, bool $x): void {
  19   $z = $x ? $a : $b;
  20   list($a, $b) = $z;
  21   hh_show($a);
  22   hh_show($b);
  23 }