On Fri, 6 May 2022 at 08:39, organicoman via Std-Proposals <std-proposals@lists.isocpp.org> wrote:
What about non trivial struct,  which free resources by calling its destructor?

The resource leaks. But that's fully defined behavior; you can accomplish the same by an unpaired resource acquisition: int main() { new int; } is a perfectly valid program.