> On Nov 30, 2017, at 10:23 PM, Chris Lattner via swift-evolution > <swift-evolution@swift.org> wrote: > > The difference between it and AnyObject lookup is that AnyObject lookup is: > > b) type unsafe
Can you explain in what sense AnyObject lookup is type unsafe where your proposal is type safe? Both seem type safe in the sense that your program will not hit undefined behavior at runtime and instead trap if you access a non-existent member; both are type unsafe in the sense that you cannot reason statically about whether any specific member lookup will succeed. What is the distinguishing characteristic between the two that makes one safe and the other not? Slava
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
