hphp/hack/test/typecheck/idx3_1.php

   1 <?hh // strict
   2
   3 function m(): Map<string, int> {
   4   return Map {};
   5 }
   6
   7 function f(): int {
   8   $m = m();
   9   $x = idx($m, 'a', 0);
  10   return $x;
  11 }