<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Dec 7, 2015 at 11:06 AM, Slava Pestov via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div><br></div><div>However the same diagnostic logic is used for validating generic signatures of constrained extensions, when in fact it needs a slightly different set of checks.</div><div><br></div><div>I think this is something that a community member could figure out and fix pretty easily without going through the evolution process -- its really a language change at this point.</div><div><br></div><div>Slava</div></div></div></blockquote><div><br></div><div>I&#39;d be interested in working on fixing this, though I won&#39;t be able to get started immediately, so if someone else is more eager, go for it :-D</div><div><br></div><div>Jacob Bandes-Storch</div></div></div></div>