[swift-evolution] [Proposal] Add an API to Unmanaged to get the instance it holds "@guaranteed"
Dave Abrahams
dabrahams at apple.com
Tue Mar 15 18:06:28 CDT 2016
on Mon Mar 14 2016, John McCall <rjmccall-AT-apple.com> wrote:
>> In this example this would be for the lifetime for the value in x which extends to the lifetime of y.
>
> What if I return it or assign it to non-local memory?
>
> I feel like you’re trying to define this by optimizer behavior.
> That’s not a workable language rule; programmers are not going to
> reason about SSA values.
Thank you, John. That is the problem I usually have with evaluating
most optimizer proposals.
--
-Dave
More information about the swift-evolution
mailing list