<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">I wrote up the following draft proposal around attempting to clarify protocol implementation and protocol extensions, via annotating methods and properties meant to satisfy protocol requirements with additional keywords:</div><div class=""><br class=""></div><div class="">"Types implementing protocols with optional features (either through default implementations on extensions, or optional methods on objective-C protocols) do not have a way to detect either local typos or later upstream changes to the protocol method signatures will result in behavioral changes. This proposal attempts to rectify that in a manner similar to override on subclassed types."</div><div class=""><br class=""></div><div class="">I’d appreciate feedback from the list! This is very much a first draft, likely filled with tyops.</div><div class=""><br class=""></div><a href="https://gist.github.com/dwaite/5a10e759a0efd0d9d16e066db4291552" class="">https://gist.github.com/dwaite/5a10e759a0efd0d9d16e066db4291552</a><div class=""><br class=""></div><div class="">-DW</div></body></html>