Sent from my iPhone
> On Dec 5, 2017, at 12:19 AM, Cao, Jiannan via swift-dev <[email protected]> > wrote: > > > But, I mean, what subscript (restrict to the length) could do is subset of p > replaceSubrange could do, right? True but that would imply the opposite of the refinement relationship you’re suggesting. A derived protocol has to have a subset of the behavior of the protocol it refines. _______________________________________________ swift-dev mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-dev
