Validator incorrectly rejects call_indirect to table of type `(ref null nofunc)`

[stevenfontanella]

Module:

(module
  (type $nopType (func (param i32)))

  (table $t1 1 1 (ref null nofunc))

  (func $nop (export "nop") (type $nopType)
    (nop)
  )

  (func $calls-nop-via-ref
    (call_indirect $t1 (type $nopType) (i32.const 1) (i32.const 0))
  )
)

$ bin/wasm-opt -all test/lit/passes/global-effects-closed-world-ignore-implicit-traps.wast
[wasm-validator error in function calls-nop-via-ref] unexpected false: call-indirect table must be of function type., on
(call_indirect $t1 (type $nopType)
 (i32.const 1)
 (i32.const 0)
)
Fatal: error validating input

This module passes validation on the spec interpreter.

[tlively]

Is there spec test coverage for this? If not, it would be good to add upstream.

[stevenfontanella]

Looks like no: https://github.com/search?q=repo%3AWebAssembly%2Fspec+%2Fref%5B%5E.%5D.*nofunc%2F&type=code. Will open a PR.