[swift-evolution] [Proposal] Partial initializers

[Slava Pestov]

> On Jan 20, 2016, at 8:55 PM, Jordan Rose <jordan_rose at apple.com> wrote:

> IIRC mandatory inlining runs after DI. I think Chris didn't want cases where the DI looked wrong but was correct because the called function happened to be inlined—there's no indication at the call site of this.

I don’t think that’s a huge problem though. When we emit a diagnostic about an uninitialized value or use, we could also emit a series of ‘inlined from here’ notes.

> 
> We also wouldn't want the other semantics of transparent <https://github.com/apple/swift/blob/master/docs/TransparentAttr.rst>: no debug info,

That sounds unfortunate. Why is debug info with transparent functions any more of an issue than debug info for stuff inlined by the optimizer passes? I’m assuming we emit debug info for the latter.

> and restrictions on what can be mentioned if it's marked public.
> 

Arguably, public partial inits only make sense for @_fixed_layout structs anyway :-)

> Jordan

Slava
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160120/df33f8cb/attachment.html>