[libcxx-commits] [libcxx] [libc++] P2590R2: Explicit lifetime management (PR #107206)

[via libcxx-commits]

cor3ntin wrote:

This requires compiler support to inject aliasing barriers.
Compiler support, in turns, requires llvm support.

There was an attempt here to support the non-array case https://reviews.llvm.org/D147020 @davidtgoldblatt @sam-mccall  @ilya-biryukov 

(See also an attempt to hijack launder-semantics for that, which we think is insufficient #82776 ) 

Given that all of this is only observable in complex use cases, i think it's prudent not to try to implement something that would not provide the same guarantees as the standard

https://github.com/llvm/llvm-project/pull/107206