<div dir="ltr">This should probably be a motivating example.<div><br></div><div>I'll add an Alternative to keep the present behavior and tighten the requirements.</div><div><br></div><div>Austin</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 30, 2016 at 11:56 AM, Scott James Remnant <span dir="ltr"><<a href="mailto:scott@netsplit.com" target="_blank">scott@netsplit.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">> They already *are* type compatible. This works right now:<br>
><br>
> var a : (ofHits: Int, forRuns: Int) -> Bool = meetsBattingAverage<br>
> a = sinkBattleship<br>
> // ???<br>
> a(ofHits: 1, forRuns: 2)<br>
<br>
</span>Your proposal does not make it clear that this works (which is surprising to me).<br>
<br>
I would argue the proposal the other way: that there should be an error on line 2, and this should not be permitted implicitly.<br>
<span class="HOEnZb"><font color="#888888"><br>
Scott</font></span></blockquote></div><br></div>