Solving inter-procedural constraints in shape-like-dict

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

=== Shape analysis results for call_assign_2.php
Summary after closing and simplifying for \f:
[4:8-23] [Allocation]:
  shape('a' => int)
[6:11-13] [Debug]:
  shape('a' => int)
[9:12-30] [Parameter]:
  shape()
Summary after closing and simplifying for \g:
[9:12-30] [Parameter]:
  shape()