(module
 (type ${ref|...0|_ref|...0|} (struct (field (ref ${ref|...0|_ref|...0|})) (field (ref ${ref|...0|_ref|...0|}))))
 (type $[i32] (array i32))
 (type ${ref|i31|} (struct (field (ref i31))))
 (type ${ref|...0|} (struct (field (ref ${ref|...0|}))))
 (type $ref|[i32]|_ref?|[i32]|_=>_none (func (param (ref $[i32]) (ref null $[i32]))))
 (type $ref|[ref|i31|]|_ref|[ref|any|]|_=>_none (func (param (ref $[ref|i31|]) (ref $[ref|any|]))))
 (type $ref|{ref|i31|}|_ref|{ref|any|}|_=>_none (func (param (ref ${ref|i31|}) (ref ${ref|any|}))))
 (type $ref|{ref|i31|}|_ref|{ref|i31|_ref|any|}|_=>_none (func (param (ref ${ref|i31|}) (ref ${ref|i31|_ref|any|}))))
 (type $ref|{ref|...0|}|_ref|{ref|...0|_ref|...0|}|_=>_none (func (param (ref ${ref|...0|}) (ref ${ref|...0|_ref|...0|}))))
 (type $[ref|i31|] (array (ref i31)))
 (type $[ref|any|] (array (ref any)))
 (type ${ref|any|} (struct (field (ref any))))
 (type ${ref|i31|_ref|any|} (struct (field (ref i31)) (field (ref any))))
 (func $0 (param $0 (ref $[i32])) (param $1 (ref null $[i32]))
  (local.set $1
   (local.get $0)
  )
 )
 (func $1 (param $0 (ref $[ref|i31|])) (param $1 (ref $[ref|any|]))
  (local.set $1
   (local.get $0)
  )
 )
 (func $2 (param $0 (ref ${ref|i31|})) (param $1 (ref ${ref|any|}))
  (local.set $1
   (local.get $0)
  )
 )
 (func $3 (param $0 (ref ${ref|i31|})) (param $1 (ref ${ref|i31|_ref|any|}))
  (local.set $0
   (local.get $1)
  )
 )
 (func $4 (param $0 (ref ${ref|...0|})) (param $1 (ref ${ref|...0|_ref|...0|}))
  (local.set $0
   (local.get $1)
  )
 )
)