)]}'
{
  "commit": "8c219539380208bf5b8d189aafd4dec10f941f98",
  "tree": "c8915b693726b42e66afc2e93bac75dcdbc15910",
  "parents": [
    "a7c48520560c3adf7176b91d16f4d0750ab8dfa9"
  ],
  "author": {
    "name": "Ivan Levkivskyi",
    "email": "levkivskyi@gmail.com",
    "time": "Wed Aug 09 16:33:38 2023 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Wed Aug 09 16:33:38 2023 +0100"
  },
  "message": "New type inference: add support for upper bounds and values (#15813)\n\nThis is a third PR in series following\r\nhttps://github.com/python/mypy/pull/15287 and\r\nhttps://github.com/python/mypy/pull/15754. This one is quite simple: I\r\njust add basic support for polymorphic inference involving type\r\nvariables with upper bounds and values. A complete support would be\r\nquite complicated, and it will be a corner case to already rare\r\nsituation. Finally, it is written in a way that is easy to tune in the\r\nfuture.\r\n\r\nI also use this PR to add some unit tests for all three PRs so far,\r\nother two PRs only added integration tests (and I clean up existing unit\r\ntests as well).",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "02df90aff1e18f41741b17986c8708394f5fb6bc",
      "old_mode": 33188,
      "old_path": "mypy/solve.py",
      "new_id": "72b3d6f26618e4e7853eacae5283fd2cb6c3a3fa",
      "new_mode": 33188,
      "new_path": "mypy/solve.py"
    },
    {
      "type": "modify",
      "old_id": "5d67203dbbf54f99548ee653db8161248e2ff7d1",
      "old_mode": 33188,
      "old_path": "mypy/test/testsolve.py",
      "new_id": "6566b03ef5e99518afdcd08846b786b3dc222190",
      "new_mode": 33188,
      "new_path": "mypy/test/testsolve.py"
    },
    {
      "type": "modify",
      "old_id": "bf1500a3cdec7ed3c0fd51a9dbaae116cb7244b1",
      "old_mode": 33188,
      "old_path": "mypy/test/typefixture.py",
      "new_id": "81af765f85855189e0f9065899c09f7071c56c0e",
      "new_mode": 33188,
      "new_path": "mypy/test/typefixture.py"
    },
    {
      "type": "modify",
      "old_id": "5c510a11b97087de257a9ba688b9baa7701c32ba",
      "old_mode": 33188,
      "old_path": "test-data/unit/check-generics.test",
      "new_id": "d1842a74d634aba68b43b5e1eb302b88b3b4005b",
      "new_mode": 33188,
      "new_path": "test-data/unit/check-generics.test"
    }
  ]
}