Solving inter-procedural constraints in shape-like-dict

[hiphop-php.git] / hphp / hack / test / shape_analysis / solve_constraints / call_simple.php.exp

=== Shape analysis results for call_simple.php
Summary after closing and simplifying for \f:
[4:5-20] [Allocation]:
  shape('a' => int, 'b' => mixed)
[7:12-30] [Parameter]:
  shape()
Summary after closing and simplifying for \g:
[7:12-30] [Parameter]:
  shape('b' => mixed)