;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/typecheck.wast
(;; STDOUT ;;;
out/test/spec/typecheck.wast:6: assert_invalid passed:
  error: type mismatch in if, expected [i32] but got [f32]
  000001e: error: OnIfExpr callback failed
out/test/spec/typecheck.wast:9: assert_invalid passed:
  error: type mismatch in br_if, expected [i32] but got [f32]
  0000020: error: OnBrIfExpr callback failed
out/test/spec/typecheck.wast:13: assert_invalid passed:
  error: type mismatch in br_table, expected [i32] but got [f32]
  0000021: error: OnBrTableExpr callback failed
out/test/spec/typecheck.wast:17: assert_invalid passed:
  error: type mismatch in call, expected [i32] but got [f32]
  0000026: error: OnCallExpr callback failed
out/test/spec/typecheck.wast:19: assert_invalid passed:
  error: type mismatch in call_indirect, expected [i32] but got [... f32]
  000002f: error: OnCallIndirectExpr callback failed
out/test/spec/typecheck.wast:29: assert_invalid passed:
  error: type mismatch in call_indirect, expected [i32] but got [f32]
  0000029: error: OnCallIndirectExpr callback failed
out/test/spec/typecheck.wast:37: assert_invalid passed:
  error: type mismatch in return, expected [i32] but got [f32]
  000001e: error: OnReturnExpr callback failed
out/test/spec/typecheck.wast:40: assert_invalid passed:
  error: type mismatch in local.set, expected [i32] but got [f32]
  0000020: error: OnLocalSetExpr callback failed
out/test/spec/typecheck.wast:43: assert_invalid passed:
  error: type mismatch in i32.load, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:44: assert_invalid passed:
  error: type mismatch in i32.load8_s, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:45: assert_invalid passed:
  error: type mismatch in i32.load8_u, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:46: assert_invalid passed:
  error: type mismatch in i32.load16_s, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:47: assert_invalid passed:
  error: type mismatch in i32.load16_u, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:48: assert_invalid passed:
  error: type mismatch in i64.load, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:49: assert_invalid passed:
  error: type mismatch in i64.load8_s, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:50: assert_invalid passed:
  error: type mismatch in i64.load8_u, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:51: assert_invalid passed:
  error: type mismatch in i64.load16_s, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:52: assert_invalid passed:
  error: type mismatch in i64.load16_u, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:53: assert_invalid passed:
  error: type mismatch in i64.load32_s, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:54: assert_invalid passed:
  error: type mismatch in i64.load32_u, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:55: assert_invalid passed:
  error: type mismatch in f32.load, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:56: assert_invalid passed:
  error: type mismatch in f64.load, expected [i32] but got [f32]
  0000024: error: OnLoadExpr callback failed
out/test/spec/typecheck.wast:59: assert_invalid passed:
  error: type mismatch in i32.store, expected [i32, i32] but got [f32, i32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:60: assert_invalid passed:
  error: type mismatch in i32.store8, expected [i32, i32] but got [f32, i32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:61: assert_invalid passed:
  error: type mismatch in i32.store16, expected [i32, i32] but got [f32, i32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:62: assert_invalid passed:
  error: type mismatch in i64.store, expected [i32, i64] but got [f32, i32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:63: assert_invalid passed:
  error: type mismatch in i64.store8, expected [i32, i64] but got [f32, i64]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:64: assert_invalid passed:
  error: type mismatch in i64.store16, expected [i32, i64] but got [f32, i64]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:65: assert_invalid passed:
  error: type mismatch in i64.store32, expected [i32, i64] but got [f32, i64]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:66: assert_invalid passed:
  error: type mismatch in f32.store, expected [i32, f32] but got [f32, f32]
  0000029: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:67: assert_invalid passed:
  error: type mismatch in f64.store, expected [i32, f64] but got [f32, f64]
  000002d: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:70: assert_invalid passed:
  error: type mismatch in i32.store, expected [i32, i32] but got [i32, f32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:71: assert_invalid passed:
  error: type mismatch in i32.store8, expected [i32, i32] but got [i32, f32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:72: assert_invalid passed:
  error: type mismatch in i32.store16, expected [i32, i32] but got [i32, f32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:73: assert_invalid passed:
  error: type mismatch in i64.store, expected [i32, i64] but got [i32, f32]
  0000026: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:74: assert_invalid passed:
  error: type mismatch in i64.store8, expected [i32, i64] but got [i32, f64]
  000002a: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:75: assert_invalid passed:
  error: type mismatch in i64.store16, expected [i32, i64] but got [i32, f64]
  000002a: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:76: assert_invalid passed:
  error: type mismatch in i64.store32, expected [i32, i64] but got [i32, f64]
  000002a: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:77: assert_invalid passed:
  error: type mismatch in f32.store, expected [i32, f32] but got [i32, i32]
  0000023: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:78: assert_invalid passed:
  error: type mismatch in f64.store, expected [i32, f64] but got [i32, i64]
  0000023: error: OnStoreExpr callback failed
out/test/spec/typecheck.wast:81: assert_invalid passed:
  error: type mismatch in i32.add, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:82: assert_invalid passed:
  error: type mismatch in i32.and, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:83: assert_invalid passed:
  error: type mismatch in i32.div_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:84: assert_invalid passed:
  error: type mismatch in i32.div_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:85: assert_invalid passed:
  error: type mismatch in i32.mul, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:86: assert_invalid passed:
  error: type mismatch in i32.or, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:87: assert_invalid passed:
  error: type mismatch in i32.rem_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:88: assert_invalid passed:
  error: type mismatch in i32.rem_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:89: assert_invalid passed:
  error: type mismatch in i32.rotl, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:90: assert_invalid passed:
  error: type mismatch in i32.rotr, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:91: assert_invalid passed:
  error: type mismatch in i32.shl, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:92: assert_invalid passed:
  error: type mismatch in i32.shr_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:93: assert_invalid passed:
  error: type mismatch in i32.shr_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:94: assert_invalid passed:
  error: type mismatch in i32.sub, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:95: assert_invalid passed:
  error: type mismatch in i32.xor, expected [i32, i32] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:96: assert_invalid passed:
  error: type mismatch in i64.add, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:97: assert_invalid passed:
  error: type mismatch in i64.and, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:98: assert_invalid passed:
  error: type mismatch in i64.div_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:99: assert_invalid passed:
  error: type mismatch in i64.div_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:100: assert_invalid passed:
  error: type mismatch in i64.mul, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:101: assert_invalid passed:
  error: type mismatch in i64.or, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:102: assert_invalid passed:
  error: type mismatch in i64.rem_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:103: assert_invalid passed:
  error: type mismatch in i64.rem_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:104: assert_invalid passed:
  error: type mismatch in i64.rotl, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:105: assert_invalid passed:
  error: type mismatch in i64.rotr, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:106: assert_invalid passed:
  error: type mismatch in i64.shl, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:107: assert_invalid passed:
  error: type mismatch in i64.shr_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:108: assert_invalid passed:
  error: type mismatch in i64.shr_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:109: assert_invalid passed:
  error: type mismatch in i64.sub, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:110: assert_invalid passed:
  error: type mismatch in i64.xor, expected [i64, i64] but got [i32, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:111: assert_invalid passed:
  error: type mismatch in f32.add, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:112: assert_invalid passed:
  error: type mismatch in f32.copysign, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:113: assert_invalid passed:
  error: type mismatch in f32.div, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:114: assert_invalid passed:
  error: type mismatch in f32.max, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:115: assert_invalid passed:
  error: type mismatch in f32.min, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:116: assert_invalid passed:
  error: type mismatch in f32.mul, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:117: assert_invalid passed:
  error: type mismatch in f32.sub, expected [f32, f32] but got [i64, f64]
  0000023: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:118: assert_invalid passed:
  error: type mismatch in f64.add, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:119: assert_invalid passed:
  error: type mismatch in f64.copysign, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:120: assert_invalid passed:
  error: type mismatch in f64.div, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:121: assert_invalid passed:
  error: type mismatch in f64.max, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:122: assert_invalid passed:
  error: type mismatch in f64.min, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:123: assert_invalid passed:
  error: type mismatch in f64.mul, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:124: assert_invalid passed:
  error: type mismatch in f64.sub, expected [f64, f64] but got [i64, f32]
  000001f: error: OnBinaryExpr callback failed
out/test/spec/typecheck.wast:127: assert_invalid passed:
  error: type mismatch in i32.eqz, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:128: assert_invalid passed:
  error: type mismatch in i32.clz, expected [i32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:129: assert_invalid passed:
  error: type mismatch in i32.ctz, expected [i32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:130: assert_invalid passed:
  error: type mismatch in i32.popcnt, expected [i32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:131: assert_invalid passed:
  error: type mismatch in i64.eqz, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:132: assert_invalid passed:
  error: type mismatch in i64.clz, expected [i64] but got [i32]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:133: assert_invalid passed:
  error: type mismatch in i64.ctz, expected [i64] but got [i32]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:134: assert_invalid passed:
  error: type mismatch in i64.popcnt, expected [i64] but got [i32]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:135: assert_invalid passed:
  error: type mismatch in f32.abs, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:136: assert_invalid passed:
  error: type mismatch in f32.ceil, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:137: assert_invalid passed:
  error: type mismatch in f32.floor, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:138: assert_invalid passed:
  error: type mismatch in f32.nearest, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:139: assert_invalid passed:
  error: type mismatch in f32.neg, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:140: assert_invalid passed:
  error: type mismatch in f32.sqrt, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:141: assert_invalid passed:
  error: type mismatch in f32.trunc, expected [f32] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:142: assert_invalid passed:
  error: type mismatch in f64.abs, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:143: assert_invalid passed:
  error: type mismatch in f64.ceil, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:144: assert_invalid passed:
  error: type mismatch in f64.floor, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:145: assert_invalid passed:
  error: type mismatch in f64.nearest, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:146: assert_invalid passed:
  error: type mismatch in f64.neg, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:147: assert_invalid passed:
  error: type mismatch in f64.sqrt, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:148: assert_invalid passed:
  error: type mismatch in f64.trunc, expected [f64] but got [i64]
  000001a: error: OnUnaryExpr callback failed
out/test/spec/typecheck.wast:151: assert_invalid passed:
  error: type mismatch in i32.eq, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:152: assert_invalid passed:
  error: type mismatch in i32.ge_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:153: assert_invalid passed:
  error: type mismatch in i32.ge_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:154: assert_invalid passed:
  error: type mismatch in i32.gt_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:155: assert_invalid passed:
  error: type mismatch in i32.gt_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:156: assert_invalid passed:
  error: type mismatch in i32.le_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:157: assert_invalid passed:
  error: type mismatch in i32.le_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:158: assert_invalid passed:
  error: type mismatch in i32.lt_s, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:159: assert_invalid passed:
  error: type mismatch in i32.lt_u, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:160: assert_invalid passed:
  error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:161: assert_invalid passed:
  error: type mismatch in i64.eq, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:162: assert_invalid passed:
  error: type mismatch in i64.ge_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:163: assert_invalid passed:
  error: type mismatch in i64.ge_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:164: assert_invalid passed:
  error: type mismatch in i64.gt_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:165: assert_invalid passed:
  error: type mismatch in i64.gt_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:166: assert_invalid passed:
  error: type mismatch in i64.le_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:167: assert_invalid passed:
  error: type mismatch in i64.le_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:168: assert_invalid passed:
  error: type mismatch in i64.lt_s, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:169: assert_invalid passed:
  error: type mismatch in i64.lt_u, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:170: assert_invalid passed:
  error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:171: assert_invalid passed:
  error: type mismatch in f32.eq, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:172: assert_invalid passed:
  error: type mismatch in f32.ge, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:173: assert_invalid passed:
  error: type mismatch in f32.gt, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:174: assert_invalid passed:
  error: type mismatch in f32.le, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:175: assert_invalid passed:
  error: type mismatch in f32.lt, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:176: assert_invalid passed:
  error: type mismatch in f32.ne, expected [f32, f32] but got [i64, f64]
  0000023: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:177: assert_invalid passed:
  error: type mismatch in f64.eq, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:178: assert_invalid passed:
  error: type mismatch in f64.ge, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:179: assert_invalid passed:
  error: type mismatch in f64.gt, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:180: assert_invalid passed:
  error: type mismatch in f64.le, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:181: assert_invalid passed:
  error: type mismatch in f64.lt, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:182: assert_invalid passed:
  error: type mismatch in f64.ne, expected [f64, f64] but got [i64, f32]
  000001f: error: OnCompareExpr callback failed
out/test/spec/typecheck.wast:185: assert_invalid passed:
  error: type mismatch in i32.wrap_i64, expected [i64] but got [f32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:186: assert_invalid passed:
  error: type mismatch in i32.trunc_f32_s, expected [f32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:187: assert_invalid passed:
  error: type mismatch in i32.trunc_f32_u, expected [f32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:188: assert_invalid passed:
  error: type mismatch in i32.trunc_f64_s, expected [f64] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:189: assert_invalid passed:
  error: type mismatch in i32.trunc_f64_u, expected [f64] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:190: assert_invalid passed:
  error: type mismatch in i32.reinterpret_f32, expected [f32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:191: assert_invalid passed:
  error: type mismatch in i64.extend_i32_s, expected [i32] but got [f32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:192: assert_invalid passed:
  error: type mismatch in i64.extend_i32_u, expected [i32] but got [f32]
  000001d: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:193: assert_invalid passed:
  error: type mismatch in i64.trunc_f32_s, expected [f32] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:194: assert_invalid passed:
  error: type mismatch in i64.trunc_f32_u, expected [f32] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:195: assert_invalid passed:
  error: type mismatch in i64.trunc_f64_s, expected [f64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:196: assert_invalid passed:
  error: type mismatch in i64.trunc_f64_u, expected [f64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:197: assert_invalid passed:
  error: type mismatch in i64.reinterpret_f64, expected [f64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:198: assert_invalid passed:
  error: type mismatch in f32.convert_i32_s, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:199: assert_invalid passed:
  error: type mismatch in f32.convert_i32_u, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:200: assert_invalid passed:
  error: type mismatch in f32.convert_i64_s, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:201: assert_invalid passed:
  error: type mismatch in f32.convert_i64_u, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:202: assert_invalid passed:
  error: type mismatch in f32.demote_f64, expected [f64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:203: assert_invalid passed:
  error: type mismatch in f32.reinterpret_i32, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:204: assert_invalid passed:
  error: type mismatch in f64.convert_i32_s, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:205: assert_invalid passed:
  error: type mismatch in f64.convert_i32_u, expected [i32] but got [i64]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:206: assert_invalid passed:
  error: type mismatch in f64.convert_i64_s, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:207: assert_invalid passed:
  error: type mismatch in f64.convert_i64_u, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:208: assert_invalid passed:
  error: type mismatch in f64.promote_f32, expected [f32] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:209: assert_invalid passed:
  error: type mismatch in f64.reinterpret_i64, expected [i64] but got [i32]
  000001a: error: OnConvertExpr callback failed
out/test/spec/typecheck.wast:212: assert_invalid passed:
  error: type mismatch in memory.grow, expected [i32] but got [f32]
  0000023: error: OnMemoryGrowExpr callback failed
164/164 tests passed.
;;; STDOUT ;;)
