On 4/19/12 6:32 AM, Marijn Haverbeke wrote:
How about intermediate half-unboxed types? (If there's an impl for @X,
can you directly call its methods on @@X?)

No. Under this proposal, you would have to do (*x).foo() in that case. I was trying to avoid looping through types, unboxing a step at a time and scanning for impls. That seemed to me to be very close to selecting the most specific type, something we have hitherto avoided. But I guess the loop doesn't have to stop. You could scan all the way through and at the end there should still be only one match. I'm not sure which I prefer. I guess I'd basically be happy either way.



Niko
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to