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

Improve return type of func_get_arg(s)(), and emit notice about usage #116

Open TysonAndre opened 7 years ago

TysonAndre commented 7 years ago

E.g. func_get_args() can be generic array of combination of union types, func_get_arg(0) can be 0th arg/vararg inner type.