[enum] derive_tagged_enum_destructor = true derive_tagged_enum_copy_constructor = true derive_tagged_enum_copy_assignment = true derive_helper_methods = true private_default_tagged_enum_constructor = true [export.body] "OwnedSlice" = """ ~OwnedSlice() {} """