diff options
Diffstat (limited to 'test/spec/ref_cast.wast')
| -rw-r--r-- | test/spec/ref_cast.wast | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/spec/ref_cast.wast b/test/spec/ref_cast.wast index 927d82ebc..c51e6b057 100644 --- a/test/spec/ref_cast.wast +++ b/test/spec/ref_cast.wast @@ -170,6 +170,16 @@ "common supertype" ) +(assert_invalid + (module + (type $t0 (struct)) + (func (export "test-ref-cast-extern") (result anyref) + (ref.cast (ref extern) (struct.new $t0)) + ) + ) + "common supertype" +) + (assert_malformed (module quote "(func (ref.cast i32 (unreachable)))") "expected reftype" |