From abf4633fa3ae4d133a30ba539620606550a335ff Mon Sep 17 00:00:00 2001 From: Julien Cretin Date: Wed, 17 Aug 2022 14:16:17 +0200 Subject: [PATCH] [test] Fix invalid ref.is_null after select `select` without argument produces a numeric or vector type while `ref.is_null` consumes a reference type. Since those types are disjoint, `select` followed by `ref.is_null` can never be well-typed. The test is fixed by removing the `select` assuming the intent of the test is to check whether `ref.is_null` can be called after `unreachable`. --- test/core/unreached-valid.wast | 1 - 1 file changed, 1 deletion(-) diff --git a/test/core/unreached-valid.wast b/test/core/unreached-valid.wast index b7ebabfdb1..615807b1f5 100644 --- a/test/core/unreached-valid.wast +++ b/test/core/unreached-valid.wast @@ -33,7 +33,6 @@ ) (func (export "unreachable-ref") (unreachable) - (select) (ref.is_null) (drop) )