header = """ | |
#define NOINLINE __attribute__((noinline)) | |
#define NODISCARD [[nodiscard]] | |
""" | |
[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() {} | |
""" |