gistfile1.txt

[wasm-validator error in function $_isize_as_Add_::add] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.add
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $_isize_as_Sub_::sub] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.sub
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $_isize_as_Mul_::mul] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.mul
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $_isize_as_Div_::div] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.div_s
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $_isize_as_PartialEq_::eq] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.eq
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $_isize_as_PartialEq_::ne] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $3
      (get_local $1)
    )
    (set_local $4
      (get_local $2)
    )
    (set_local $5
      (get_local $3)
    )
    (set_local $6
      (i32.ne
        (get_local $4)
        (get_local $5)
      )
    )
    (return
      (get_local $6)
    )
  )
)
[wasm-validator error in function $main] 1 != 0: function body type must match, if function returns, on 
(block
  (block
    (set_local $2
      (get_local $0)
    )
    (set_local $6
      (get_local $2)
    )
    (set_local $5
      (i32.add
        (get_local $6)
        (i32.const 3)
      )
    )
    (set_local $4
      (i32.mul
        (get_local $5)
        (i32.const 2)
      )
    )
    (set_local $3
      (i32.sub
        (get_local $4)
        (i32.const 2)
      )
    )
    (set_local $7
      (i32.div_s
        (get_local $3)
        (i32.const 3)
      )
    )
    (return
      (get_local $7)
    )
  )
)