)]}'
{
  "commit": "282e2e5d92d6464d7ea59c88fa39d2e29fab26ac",
  "tree": "2733cea2bedafde811559a1d5dc94ad9f22baca8",
  "parents": [
    "77a95c8c82325ac3a716f9aacbe0a3822718f3cf"
  ],
  "author": {
    "name": "Gabor Greif",
    "email": "ggreif@gmail.com",
    "time": "Wed May 06 14:32:22 2026"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed May 06 14:32:22 2026"
  },
  "message": "Validator: thread table limits through `OnReturnCallIndirect` (#2744)\n\n`SharedValidator::OnCallIndirect` passes `table_type.limits` to\n`TypeChecker::OnCallIndirect`, which expects i64 vs i32 for the\ntable-index based on `is_64`. `OnReturnCallIndirect` doesn\u0027t — so under\n`table64`, plain `call_indirect` with an i64 index validates, but the\nmatching `return_call_indirect` rejects it with `expected [i32] but got\n[i64]`.\n\nMirrors the signature. Adds a `test/typecheck/` regression for the\nnegative case.\n\nCo-authored-by: Claude Opus 4.7 (1M context) \u003cnoreply@anthropic.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "25b2a421fd3a0708882f2df0cafaac2d86ba62d5",
      "old_mode": 33188,
      "old_path": "include/wabt/type-checker.h",
      "new_id": "1033b5bddf55b506296b7b0fb81b949539c75f07",
      "new_mode": 33188,
      "new_path": "include/wabt/type-checker.h"
    },
    {
      "type": "modify",
      "old_id": "b7b748e73e68e963f52b6a9ec896d82ed68059f0",
      "old_mode": 33188,
      "old_path": "src/shared-validator.cc",
      "new_id": "243b6534377fa5123ee11488cd28ce86980955b7",
      "new_mode": 33188,
      "new_path": "src/shared-validator.cc"
    },
    {
      "type": "modify",
      "old_id": "bb0e4d7f381c0674690c13ce902611cfcc5ead29",
      "old_mode": 33188,
      "old_path": "src/type-checker.cc",
      "new_id": "e309190e7bb7fc233fe80a057407c0f98108ff39",
      "new_mode": 33188,
      "new_path": "src/type-checker.cc"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "940c333c32073e34b055d6118539297bc72979da",
      "new_mode": 33188,
      "new_path": "test/typecheck/bad-returncallindirect-table64-type-mismatch.txt"
    }
  ]
}
