Member predicate Method::implements

Holds if this method implements the method m, that is, if m is a method on an interface, and this is a method with the same name on a type that implements that interface.

Note that all methods implement themselves, and interface methods only implement themselves.