Since the type resolver has support for typed arrays, I allowed the syntax for the @method annotation. In effect you can now annotate magic methods like: @method Object[] myMethod($arg1, $arg2) @method int[] myOtherMethod()