search

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

Syntax for annotating the expected types of a closure/callable #121

Closed TysonAndre closed 6 years ago

TysonAndre commented 6 years ago

Mentioned in https://github.com/TysonAndre/phan/issues/10#issuecomment-351787273

TysonAndre commented 6 years ago

And work on type checking the closures passed against expected types