| 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() {} | |
| """ |