On 5/7/25 16:47, jmh530 wrote: > > I can think of a few different ways forward (by no means limited to just > this) Well, the big issue here is that @live is still not transitive. A function attribute is not really the right way to go about this anyway. Aliasing is a property of a pointer, not a function.