)]}'
{
  "commit": "5d87bf6dc403a8ac06f69bdd6dc38d7bfeb9d063",
  "tree": "960b2225b4030538bc496225ca09a54226db0441",
  "parents": [
    "cdc4aa0a6142ff7cda91dae5ae373792d81c522c"
  ],
  "author": {
    "name": "ABHIRAM-CREATOR06",
    "email": "abhirampraneeth2005@gmail.com",
    "time": "Sat Oct 03 00:53:27 2026 +0530"
  },
  "committer": {
    "name": "ABHIRAM-CREATOR06",
    "email": "abhirampraneeth2005@gmail.com",
    "time": "Sat Oct 03 02:17:09 2026 +0530"
  },
  "message": "fix: use sub-unification roots in type_var_is_sized\n\nWhen checking whether an inference variable is Sized (used during unsize coercions), \type_var_is_sized previously compared equality-only roots via \root_var. This meant that a Sized obligation on a variable related through subtyping (e.g. from Box::new(y) unsized to Box\u003cdyn Send\u003e) was missed, causing spurious type mismatches.\n\nThread a UseSubtyping flag (modeled on rust-lang/rust#157820) through obligations_for_self_ty, predicate_has_self_ty, and \type_matches_expected_vid. \type_var_is_sized passes Yes (since sizedness is preserved under subtyping), while all closure callers pass No.\n\nFixes #23114\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "14c9436b6091746cf30557f9e63bab38342a7270",
      "old_mode": 33188,
      "old_path": "crates/hir-ty/src/infer/closure.rs",
      "new_id": "830b6dd124c4023a77747e473039f0c2a2957155",
      "new_mode": 33188,
      "new_path": "crates/hir-ty/src/infer/closure.rs"
    },
    {
      "type": "modify",
      "old_id": "8070ed8788977da9ece7a1d40666d66cdcda638d",
      "old_mode": 33188,
      "old_path": "crates/hir-ty/src/infer/unify.rs",
      "new_id": "558e9eafd895dd78989dd406454fed4c64a2473a",
      "new_mode": 33188,
      "new_path": "crates/hir-ty/src/infer/unify.rs"
    },
    {
      "type": "modify",
      "old_id": "7c419147d2143e60ea94dc75d425dae4c3f860c2",
      "old_mode": 33188,
      "old_path": "crates/hir-ty/src/next_solver/infer/mod.rs",
      "new_id": "f062c6fad560f43cdbdba8dbd5b74a522c6cbac5",
      "new_mode": 33188,
      "new_path": "crates/hir-ty/src/next_solver/infer/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "b9415e3c7c614e7fd229620ac8d5291484b08323",
      "old_mode": 33188,
      "old_path": "crates/hir-ty/src/tests/coercion.rs",
      "new_id": "058bc8e233ec9e103fe8cdd7275466a4e0e195db",
      "new_mode": 33188,
      "new_path": "crates/hir-ty/src/tests/coercion.rs"
    }
  ]
}