{
  "schema": "ailang/v0",
  "name": "test_recur_type_mismatch",
  "imports": [],
  "defs": [
    {
      "kind": "fn",
      "name": "bad_type",
      "type": {
        "k": "fn",
        "params": [],
        "param_modes": [],
        "ret": {
          "k": "con",
          "name": "Int"
        },
        "ret_mode": "own",
        "effects": []
      },
      "params": [],
      "doc": "loop-recur iter 2: binder is Int, recur arg is Bool -> recur-type-mismatch.",
      "body": {
        "t": "loop",
        "binders": [
          {
            "name": "i",
            "type": {
              "k": "con",
              "name": "Int"
            },
            "init": {
              "t": "lit",
              "lit": {
                "kind": "int",
                "value": 0
              }
            }
          }
        ],
        "body": {
          "t": "recur",
          "args": [
            {
              "t": "lit",
              "lit": {
                "kind": "bool",
                "value": true
              }
            }
          ]
        }
      }
    }
  ]
}
