Associated type mismatch

Reports the methods with different return or parameter types in their interface and implementation. It also reports the setters and getters that take/return the type different from the type of the corresponding property.