On Wed, 28 Jun 2023 09:20:11 GMT, Thomas Stuefe <stuefe at openjdk.org> wrote: > :-( you are of course right. This only worked out of accident since ReservedSpace has no dtor. Could you copy-assign the object, instead? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14486#discussion_r1244938683