{
  "schema": "ailang/v0",
  "name": "test_22b2_invalid_superclass_param",
  "imports": [],
  "defs": [
    {
      "kind": "class",
      "name": "Eq",
      "param": "a",
      "methods": [
        {
          "name": "eq",
          "type": {
            "k": "fn",
            "params": [
              {
                "k": "var",
                "name": "a"
              },
              {
                "k": "var",
                "name": "a"
              }
            ],
            "param_modes": [
              "own",
              "own"
            ],
            "ret": {
              "k": "con",
              "name": "Bool"
            },
            "ret_mode": "own",
            "effects": []
          }
        }
      ]
    },
    {
      "kind": "class",
      "name": "Ord",
      "param": "a",
      "superclass": {
        "class": "Eq",
        "type": "b"
      },
      "methods": [
        {
          "name": "lt",
          "type": {
            "k": "fn",
            "params": [
              {
                "k": "var",
                "name": "a"
              },
              {
                "k": "var",
                "name": "a"
              }
            ],
            "param_modes": [
              "own",
              "own"
            ],
            "ret": {
              "k": "con",
              "name": "Bool"
            },
            "ret_mode": "own",
            "effects": []
          }
        }
      ]
    }
  ]
}
