Solving inter-procedural constraints in shape-like-dict
[hiphop-php.git] / hphp / hack / test / shape_analysis / solve_constraints / recursion.php.exp
blob01ab651e62661bbb111e2c0a63785259212bf0a6
1 === Shape analysis results for recursion.php
2 Summary after closing and simplifying for \f:
3 [3:12-31] [Parameter]:
4 shape('a' => mixed, 'b' => mixed)
5 [8:12-31] [Parameter]:
6 shape()
7 Summary after closing and simplifying for \g:
8 [3:12-31] [Parameter]:
9 shape()
10 [8:12-31] [Parameter]:
11 shape('a' => mixed, 'b' => mixed)
12 Summary after closing and simplifying for \main:
13 [3:12-31] [Parameter]:
14 shape()
15 [8:12-31] [Parameter]:
16 shape()
17 [14:5-33] [Allocation]:
18 shape('a' => mixed, 'b' => mixed)