This is a tough balance. On one hand, I like supporting as much of the Java API as possible. On the other hand, the use-cases for this syntax are very limited. If we go the method override route we could potentially omit support for this syntax while still allowing the potential for including it at a later time.