| 73 | inline Val::Val(ExternRef ptr) : Val(std::optional(ptr)) {} |
| 74 | |
| 75 | inline std::optional<ExternRef> Val::externref() const { |
| 76 | if (val.kind != WASMTIME_EXTERNREF) { |
| 77 | std::abort(); |
| 78 | } |
| 79 | if (wasmtime_externref_is_null(&val.of.externref)) { |
| 80 | return std::nullopt; |
| 81 | } |
| 82 | wasmtime_externref_t other; |
| 83 | wasmtime_externref_clone(&val.of.externref, &other); |
| 84 | return ExternRef(other); |
| 85 | } |
| 86 | |
| 87 | inline Val::Val(std::optional<ExnRef> ptr) : val{} { |
| 88 | val.kind = WASMTIME_EXNREF; |