You are right, but you could make it not movable (and add destructive mode hooks for optional and containers). It is still possible to return non-movable, non-

You are right, but you could make it not movable (and add destructive mode hooks for optional and containers). It is still possible to return non-movable, non-copyable types from functions. But I guess ergonomics would not be good.