> This may be more of a "because we can" feature. What I see is actually "it's wanted/needed enough that it's worth putting in the huge effort to make such a c

> This may be more of a "because we can" feature. What I see is actually "it's wanted/needed enough that it's worth putting in the huge effort to make such a complex (and novel?) system reality". EDIT: to be more clear: what's new here isn't "exposing liveness at the source level" but "model liveness in region typing". If we were changing when the destructor runs (which we can't because backwards compatibility - also, doubtful we'd want that at all), that would be more "source level".