;;; TOOL: wast2json
(assert_invalid
  (module
    (func 
      i32.const 1
      drop)
    (export "foo" (func 1)))
  "unknown function 1") ;; string is ignored
(assert_invalid
  (module
    (func (result i32)
      nop))
  "type mismatch")