<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Try <b style="font-family: Menlo; font-size: 11px;" class="">-Woverriding-method-mismatch option.</b><div class=""><font face="Menlo" class=""><span style="font-size: 11px;" class=""><b class=""><br class=""></b></span></font></div><div class=""><font face="Menlo" class=""><span style="font-size: 11px;" class=""><b class="">- Fariborz</b></span></font></div><div class=""><font face="Menlo" class=""><span style="font-size: 11px;" class=""><b class=""><br class=""></b></span></font><div><blockquote type="cite" class=""><div class="">On Apr 9, 2015, at 5:35 PM, Jonathan Roelofs <<a href="mailto:jonathan@codesourcery.com" class="">jonathan@codesourcery.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">Why does the following pass Clang's type checker?<br class=""><br class="">@protocol PF<br class="">-(int)pf;<br class="">@end<br class=""><br class="">@interface Foo : NSObject <PF><br class="">- (double) pf;<br class="">@end<br class=""><br class="">@implementation Foo<br class="">- (double) pf { return 2.0; }<br class="">@end<br class=""><br class="">It seems to me that there should at least be a "return type differs" warning because 'pf' in the protocol has a different signature than 'pf' in the interface... if not an error, because 'Foo' doesn't really implement 'PF'.<br class=""><br class="">I could also be missing some language rule here. Thoughts?<br class=""><br class=""><br class="">Jon<br class=""><br class="">-- <br class="">Jon Roelofs<br class=""><a href="mailto:jonathan@codesourcery.com" class="">jonathan@codesourcery.com</a><br class="">CodeSourcery / Mentor Embedded<br class=""></div></blockquote></div><br class=""></div></body></html>