)]}'
{
  "commit": "cd51adccc7c0e638e7c60dc4e54154daeb3b9a4d",
  "tree": "beba062b85976476bf2d261c0ea3ce04d0ac5591",
  "parents": [
    "df6f801b53847f8dbe74e57929e83bde2a527fb7"
  ],
  "author": {
    "name": "Googler",
    "email": "no-reply@google.com",
    "time": "Fri Oct 10 13:28:20 2025 -0700"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Fri Oct 10 13:29:27 2025 -0700"
  },
  "message": "Nullability inference: support overrides from previous inference iterations when processing summarized evidence.\n\nIn the phase2 of inference, SummaryEvidenceCollector can check for overrides of nullability annotations for the given symbol. The nullability of a param is thus adjusted during inference, and the new nullability is used for subsequent evidence collection steps.\n\nThe overlay only applies to \"anonymous\" declarations -- those that are not referenced by name and so not picked up in InferableSlots, nor modeled symbolically.\n\nPiperOrigin-RevId: 817767923\nChange-Id: I2ef9b536689ea5d31ca07977bf5bdb741bf9ba44\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7baedc31a22b64d35159260863bfc43046281945",
      "old_mode": 33188,
      "old_path": "nullability/inference/collect_evidence.cc",
      "new_id": "01aed2969215178cddb3738d117a82941a7a8f9f",
      "new_mode": 33188,
      "new_path": "nullability/inference/collect_evidence.cc"
    },
    {
      "type": "modify",
      "old_id": "c3663ccf148cac0b4c0aaece3414aea91f8b3a89",
      "old_mode": 33188,
      "old_path": "nullability/inference/collect_evidence_test.cc",
      "new_id": "e8d4e6dcda4156e4bffd4a705cbd11f4422c8164",
      "new_mode": 33188,
      "new_path": "nullability/inference/collect_evidence_test.cc"
    },
    {
      "type": "modify",
      "old_id": "4b73a5509abc58fb5824e2c00b6fba6266fb495e",
      "old_mode": 33188,
      "old_path": "nullability/inference/inference.proto",
      "new_id": "f0bb0b22cae0154e36f88cd8cbc999e7171b7d7c",
      "new_mode": 33188,
      "new_path": "nullability/inference/inference.proto"
    }
  ]
}
