Currently interfaces with default method implementations are not supported. For example,
this code is rejected:

interface A:
    def f(self): return 1
class B(A): pass

Also, it should be an error if multiple implemented interfaces have a default implementation
for a method, but the class and its base classes don't defined the method.