)]}'
{
  "commit": "40c97a9279f25820dfd7f5339a84ec8b314c3d99",
  "tree": "3f7bf2c196373e3bfaf1d90a5b87c72b53c022f4",
  "parents": [
    "08a5519924abe382001f2ee799bc1e2e3b53dd5e",
    "02d84c8d23e3e5cf61ab0ce11cf756625b8180a8"
  ],
  "author": {
    "name": "Matthias Krüger",
    "email": "476013+matthiaskrgr@users.noreply.github.com",
    "time": "Thu Dec 04 08:46:20 2025 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Dec 04 08:46:20 2025 +0100"
  },
  "message": "Rollup merge of #149501 - lcnr:no-hard-error-on-norm-failure, r\u003dlqd,oli-obk\n\nCTFE: avoid emitting a hard error on generic normalization failures\n\nFixes rust-lang/rust#149081.\n\nThe fix is quite unsatisfying and should not be necessary, cc rust-lang/rust#149283. That change is significantly more involved. This temporary fix introduces some unnecessary complexity and may hide other type system bugs.\n\ncc ````@rust-lang/types```` I think we should try to fix issue rust-lang/rust#149283 in the near future and then remove this hack again.\n\nI originally intended a more targeted fix. I wanted to skip evaluating constants in MIR opts if their body was polymorphic and the current generic arguments still reference generic parameters. Notes from looking into this:\n- we only fetch the MIR in the `eval_to_allocation_raw` query\n- figuring out which MIR to use is hard\n\t- dealing with trivial consts is annoying\n\t- need to resolve instances for associated consts\n\t- implementing this by hand is hard\n- inlining handles this issue by bailing on literally all normalization failures, even the ones that imply an unsoundness\n\t- `try_normalize_after_erasing_regions` generally does two things\n\t\t- deal with ambiguity after inlining\n\t\t- deal with error tainting issues (please don\u0027t, we should stop doing that)\n- CTFE could be changed to always silently ignore normalization failures if we\u0027re in a generic body\n\t- hides actual bugs \u003c- went with this option\n\nr? types\n",
  "tree_diff": []
}