[swift-evolution] Pitch: Cross-module inlining and specialization

[Joe Groff]

> On Oct 5, 2017, at 10:46 AM, Taylor Swift <kelvin13ma at gmail.com> wrote:
> 
> why is runtime dispatch even necessary? Why can’t the client just call the specialized version directly?

Runtime dispatch on the callee side keeps the exact set of specializations open to change, since it isn't ABI, and in theory shouldn't be all that expensive, since you're "just" checking type identity.

-Joe