This should probably be a motivating example.

I'll add an Alternative to keep the present behavior and tighten the
requirements.

Austin

On Thu, Jun 30, 2016 at 11:56 AM, Scott James Remnant <[email protected]>
wrote:

> > They already *are* type compatible. This works right now:
> >
> > var a : (ofHits: Int, forRuns: Int) -> Bool = meetsBattingAverage
> > a = sinkBattleship
> > // ???
> > a(ofHits: 1, forRuns: 2)
>
> Your proposal does not make it clear that this works (which is surprising
> to me).
>
> I would argue the proposal the other way: that there should be an error on
> line 2, and this should not be permitted implicitly.
>
> Scott
_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to