Indeed. I haven't looked at what it would generate at all. I'm just working off my understanding of the semantics. What LLVM actually does is an entirely different question.
On Wed, Nov 13, 2013 at 10:28 AM, Oren Ben-Kiki <[email protected]> wrote: > Hmmm. Perhaps I was too hasty. It would be interesting to look at the > generated binary code and see if it actually work this way... > > On Wed, Nov 13, 2013 at 8:08 PM, Eric Reed <[email protected]>wrote: > >> I'm not sure I follow. >> My implementation doesn't use any trait pointers, so the only time there >> were would be a trait pointer is if you casted to ~Trait yourself. >> In that case, only the original method call would be dynamic dispatch; >> all the internal calls (delegating and upcasting) are still static dispatch. >> So my version doesn't pay for any dynamic dispatch over what the >> programmer is already paying for. >> >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
