[swift-dev] Proposal: Opaque SIL values

[Andrew Trick]

> On Jan 25, 2017, at 6:13 PM, Joe Groff <jgroff at apple.com> wrote:
> 
>> Naturally, opaque types must limit some optimizations, such as inlining.
> 
> I don't see how opaque types by themselves prevent inlining. You can inline a generic into another generic, or a function using a resilient type into another function.

Good point. I was just hand-waving here about resilient types, which we can’t inline by design, and archetypes where we can’t inline protocol methods because method resolution requires specialization. But yeah, we should be inlining methods on unbound generic nominal types. I updated the doc.

-Andy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170126/7f37aa7c/attachment.html>