hphp/hack/test/typecheck/recursive_non_null_4.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 function genData(bool $b): Map<string, mixed> {
   5   $data = Map {};
   6   hh_show($data);
   7
   8   // $data has type Map<var_1,var_2>
   9
  10   if ($b) {
  11     $data['c'] = null;
  12     $data['b'] = 'foo';
  13     hh_show($data);
  14     // $data has type Map<string,?var_3>
  15     // If we UNIFY ?var_3 with mixed then we will get var_3:=mixed
  16     return $data;
  17   }
  18   hh_show($data);
  19
  20   if ($b) {
  21     $data['a'] = 'hey';
  22   }
  23   hh_show($data);
  24   return $data;
  25 }