Inspects your code and finds errors
...
Because it's based on nikic's PhpParser, it supports @var declarations on lines where etsy/phan does not. Yay.