Indeed, my point was that if you're going to add moveonly types with destructors having a way to force lexically scoped lifetime has concrete uses. That said,

Indeed, my point was that if you're going to add moveonly types with destructors having a way to force lexically scoped lifetime has concrete uses. That said, having that be optional opt-in behavior could be valuable from a compiler optimization freedom perspective.