> 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 swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
