On Friday, 25 November 2022 at 17:45:57 UTC, Paul Backus wrote:
On Friday, 25 November 2022 at 14:07:28 UTC, ShadoLight wrote:
On Saturday, 19 November 2022 at 15:00:16 UTC, Paul Backus
wrote:
Since, in your example, `lf` has global lifetime, the
compiler deduces that `lf.fp` also has global lifetime, and
therefore there is nothing wrong with assigning it to `p`.
I follow your rationale, but for the life of me I cannot see
how `lf` _"has global lifetime"_.
You're right, my terminology here is sloppy. I'm really talking
about the memory pointed to by `lf`, not `lf` itself, so I
should really say that `lf` *points to memory* with global
lifetime (or perhaps "`*lf` has global lifetime").
Time to use separation logic
# 😈
