)]}'
{
  "commit": "630f0d2bbbdb18bce35169a135a0654a1e6a9bcc",
  "tree": "b621286e21e496382981eb6b93e239424d22aa02",
  "parents": [
    "a93f8c0579b99d7ff7cf02d2286704f272646b64"
  ],
  "author": {
    "name": "Jana Dönszelmann",
    "email": "jana@donsz.nl",
    "time": "Mon Apr 13 13:37:51 2026 +0200"
  },
  "committer": {
    "name": "Jana Dönszelmann",
    "email": "jana@donsz.nl",
    "time": "Wed May 06 10:18:21 2026 +0200"
  },
  "message": "type safety for typing mode outside trait solver which can\u0027t be erased-not-coherence\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8d618485c8eebf1e79ece9425ff1ca3f145d09a7",
      "old_mode": 33188,
      "old_path": "compiler/rustc_const_eval/src/const_eval/eval_queries.rs",
      "new_id": "7f0d6c8e8734323e2727f3c7ed53ebeac053f4ee",
      "new_mode": 33188,
      "new_path": "compiler/rustc_const_eval/src/const_eval/eval_queries.rs"
    },
    {
      "type": "modify",
      "old_id": "2bfce2f945ce454ae4f2df6ef4360138dd564054",
      "old_mode": 33188,
      "old_path": "compiler/rustc_const_eval/src/const_eval/valtrees.rs",
      "new_id": "3858a3b7047d3fc0a89a319852c1709397dd7bc8",
      "new_mode": 33188,
      "new_path": "compiler/rustc_const_eval/src/const_eval/valtrees.rs"
    },
    {
      "type": "modify",
      "old_id": "53b9be71bc524c8c7508d5e8b288c81ee43e7ff4",
      "old_mode": 33188,
      "old_path": "compiler/rustc_const_eval/src/interpret/eval_context.rs",
      "new_id": "06410df7e1f16c89a89f7112fdac5462e1b459ef",
      "new_mode": 33188,
      "new_path": "compiler/rustc_const_eval/src/interpret/eval_context.rs"
    },
    {
      "type": "modify",
      "old_id": "63bd49f080309fd8c73f4da11769f920c75941ee",
      "old_mode": 33188,
      "old_path": "compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs",
      "new_id": "5fea7454e57ea5b5531adfc33f627de833986062",
      "new_mode": 33188,
      "new_path": "compiler/rustc_hir_typeck/src/fn_ctxt/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "a575ba79df45cd1f2d585179f35f24d942b4f2fb",
      "old_mode": 33188,
      "old_path": "compiler/rustc_infer/src/infer/canonical/canonicalizer.rs",
      "new_id": "e0adcfc06a0ed702dab3bc3f1d282fbdde90f634",
      "new_mode": 33188,
      "new_path": "compiler/rustc_infer/src/infer/canonical/canonicalizer.rs"
    },
    {
      "type": "modify",
      "old_id": "0dc1f5e5eec58e402f0c900f09ba535bf1aa1a0e",
      "old_mode": 33188,
      "old_path": "compiler/rustc_infer/src/infer/context.rs",
      "new_id": "8107d91ba41090e57d103b79f3886f440f318f0c",
      "new_mode": 33188,
      "new_path": "compiler/rustc_infer/src/infer/context.rs"
    },
    {
      "type": "modify",
      "old_id": "6174927df6ecc50d6420196b4c69a8e75f72be50",
      "old_mode": 33188,
      "old_path": "compiler/rustc_infer/src/infer/mod.rs",
      "new_id": "2ccdd317f05c9693859b015b9004c68477b6ff1f",
      "new_mode": 33188,
      "new_path": "compiler/rustc_infer/src/infer/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "a3926a0dd23d67ccb889697e1982a8a6ac6f25a8",
      "old_mode": 33188,
      "old_path": "compiler/rustc_infer/src/infer/opaque_types/mod.rs",
      "new_id": "6b051f42421b0a4701225ab7f0b5b386cae1728a",
      "new_mode": 33188,
      "new_path": "compiler/rustc_infer/src/infer/opaque_types/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "5ec56b3e9dc4a8a7ffd86605001791cb7be277c9",
      "old_mode": 33188,
      "old_path": "compiler/rustc_infer/src/infer/relate/generalize.rs",
      "new_id": "3d2d617cfdb29ec7785f3d163910a2d77918ef80",
      "new_mode": 33188,
      "new_path": "compiler/rustc_infer/src/infer/relate/generalize.rs"
    },
    {
      "type": "modify",
      "old_id": "4cf8aa091ca161cb55e4a0a2c1b1ad8f80c84b43",
      "old_mode": 33188,
      "old_path": "compiler/rustc_middle/src/ty/mod.rs",
      "new_id": "bf35668950b505f3fa1e45adb5028d8dcccaca88",
      "new_mode": 33188,
      "new_path": "compiler/rustc_middle/src/ty/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "5360a123a419962767b95e4b979ab329aa075106",
      "old_mode": 33188,
      "old_path": "compiler/rustc_middle/src/ty/sty.rs",
      "new_id": "112ad65e19bff7995b7c655bc65db2b079208e3c",
      "new_mode": 33188,
      "new_path": "compiler/rustc_middle/src/ty/sty.rs"
    },
    {
      "type": "modify",
      "old_id": "69c1e676466f569028e8b6b366c83820bc5d7d70",
      "old_mode": 33188,
      "old_path": "compiler/rustc_mir_transform/src/elaborate_drop.rs",
      "new_id": "48006bace447c6cb794a4c0090db8e679bbe4883",
      "new_mode": 33188,
      "new_path": "compiler/rustc_mir_transform/src/elaborate_drop.rs"
    },
    {
      "type": "modify",
      "old_id": "cd65cd0cc186261d8a91df3b42b796b8f3382545",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/canonical/mod.rs",
      "new_id": "8de84247c8ca91dd4bc2162d0f9406f1a2bd0970",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/canonical/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "910c943dfec04c684970169d5322e06035eb2fb1",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs",
      "new_id": "b5e5109c6b79a87c7954df983da43a791be7c86b",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "b7fbdb70864bf3d6f6e22ccd42ac669c4ebbdbd7",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/effect_goals.rs",
      "new_id": "508287a4dfee67962442b9b8cbc2f61c85aa2e54",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/effect_goals.rs"
    },
    {
      "type": "modify",
      "old_id": "03b3e34f43e658484b991b46a7d16a1d2f4b26f1",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs",
      "new_id": "2813f23d489f9cd36e5f3a99574768ee44350c52",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "82189e53fcd438acd694baffd6df7318f86976bf",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/mod.rs",
      "new_id": "b50e686606e04949588dfd4bd5cf38acd1c2437e",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "35c0910ae67759dd380e52207a357b7a5f8c38fa",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs",
      "new_id": "d6383cb48fa95d7839a7e60cd5500ee3e03dc461",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/normalizes_to/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "a1e7246eee6cba30e8db90536cbacb80fd07fdcd",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/normalizes_to/opaque_types.rs",
      "new_id": "98c0c7eadb5b2421d07a19261333754bfbff0454",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/normalizes_to/opaque_types.rs"
    },
    {
      "type": "modify",
      "old_id": "877e3dfaad0bd0e06b2e721f5a96932af2ef9871",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/search_graph.rs",
      "new_id": "9e09d3cd019a03466e8ad94782720e4440efb908",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/search_graph.rs"
    },
    {
      "type": "modify",
      "old_id": "01954bc744e53dbb91abcb11d59df031b7175485",
      "old_mode": 33188,
      "old_path": "compiler/rustc_next_trait_solver/src/solve/trait_goals.rs",
      "new_id": "5934b01f96e1357b779a689953992a0d17e123ec",
      "new_mode": 33188,
      "new_path": "compiler/rustc_next_trait_solver/src/solve/trait_goals.rs"
    },
    {
      "type": "modify",
      "old_id": "382158901e29c109ff75f20fc4eb469403f0792d",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/solve/delegate.rs",
      "new_id": "4bea6052117854d5d6b08f7e2d1a4a8a8a4f1627",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/solve/delegate.rs"
    },
    {
      "type": "modify",
      "old_id": "0c6e091235b3dcd945cafbb1c0c3efa91a00e864",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/solve/fulfill.rs",
      "new_id": "ed345d98b5392b379ef7f537f6c7e343bd683e9e",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/solve/fulfill.rs"
    },
    {
      "type": "modify",
      "old_id": "0f36edcdd830edf4ae27c0469723dda4ee635d80",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/effects.rs",
      "new_id": "a4691c6aa43860a580024c0107794093a6828d29",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/effects.rs"
    },
    {
      "type": "modify",
      "old_id": "f34500c5dd2eae18ed8e2d8abfffc545672f6b18",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/fulfill.rs",
      "new_id": "ce8f05637f9a6f0fdbf10c4e2d0dc2545e6f4d14",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/fulfill.rs"
    },
    {
      "type": "modify",
      "old_id": "5f866af0f774822449d12a943a17f32a93b01d91",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/normalize.rs",
      "new_id": "6e526e8dc548c46382c831e3fe2df289bf9705bb",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/normalize.rs"
    },
    {
      "type": "modify",
      "old_id": "91713c2108457492b2790d77e8727159b31a783c",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/project.rs",
      "new_id": "e2458a2392f5f5b17366af1e9b07be32df989f4f",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/project.rs"
    },
    {
      "type": "modify",
      "old_id": "d373cd772b57c7ea0b682c5ae3d3894adabf3dfa",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/query/normalize.rs",
      "new_id": "e8c5d10c78ce3a2ed66417be224fde859e192035",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/query/normalize.rs"
    },
    {
      "type": "modify",
      "old_id": "f7614e7c9730ab987261957fe73cc6b1ee539ea7",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs",
      "new_id": "3b599db8ff1c20005aa95ed9928e78aeecfd7f53",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/select/candidate_assembly.rs"
    },
    {
      "type": "modify",
      "old_id": "f980f7ee00a2344bdc129c38d1c35ff2e4d5c3e7",
      "old_mode": 33188,
      "old_path": "compiler/rustc_trait_selection/src/traits/select/mod.rs",
      "new_id": "fc208ceaf609da143195be8674c9aa92d6a7d1a1",
      "new_mode": 33188,
      "new_path": "compiler/rustc_trait_selection/src/traits/select/mod.rs"
    },
    {
      "type": "modify",
      "old_id": "0ac2899165f2e0e1f48bcc07148a08e75bb5e2ae",
      "old_mode": 33188,
      "old_path": "compiler/rustc_ty_utils/src/instance.rs",
      "new_id": "178533fb231a056c48769840c6e63dce1d38bc0a",
      "new_mode": 33188,
      "new_path": "compiler/rustc_ty_utils/src/instance.rs"
    },
    {
      "type": "modify",
      "old_id": "5d4326d22eb9e5e22702c663cb56206a7d7e117f",
      "old_mode": 33188,
      "old_path": "compiler/rustc_type_ir/src/infer_ctxt.rs",
      "new_id": "c9533623591a1c4dfa91f0bc9116c285a6f6ad86",
      "new_mode": 33188,
      "new_path": "compiler/rustc_type_ir/src/infer_ctxt.rs"
    },
    {
      "type": "modify",
      "old_id": "3f7b8f9e6c8482616ab90809c5a58393177f120f",
      "old_mode": 33188,
      "old_path": "compiler/rustc_type_ir/src/relate/combine.rs",
      "new_id": "7e4b95580a8e452b8659edacd3ff5922afa995ec",
      "new_mode": 33188,
      "new_path": "compiler/rustc_type_ir/src/relate/combine.rs"
    }
  ]
}