;; RUN: not wasm-shell %s 2>&1 | filecheck %s (module (func (export "f") (result (ref null i31)) (ref.null i31) ) ) ;; CHECK: expected i31, got nullref (assert_return (invoke "f") (ref.i31))