WIP add array shapes to the type system (instead of casting to GenericArrayType)

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Other

0 stars 0 forks source link

Closed TysonAndre closed 6 years ago

TysonAndre commented 6 years ago

Need to do the following:

Fix CI test failures
Add unit tests with examples
Update UnionTypeVisitor. If all array key literals are known user-defined constants, then infer the array shape instead of the Generic Array
Optimize
Add heuristics