Now compile-time interface checker can check overloaded methods.