about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2024-04-14 23:24:33 +0200
committerGitHub <noreply@github.com>2024-04-14 23:24:33 +0200
commit86b791a2723235c860c95a1fe1cf41ea853599e3 (patch)
treea9588854988f61a5a5f8f463bc972fd84b10b61d /compiler/rustc_codegen_llvm/src
parentf3a68fb71898cce8ff3049775f8ee1e9ccfa13a5 (diff)
parent87a387a7223a1b9d8cdc698df091383c9b703c31 (diff)
downloadrust-86b791a2723235c860c95a1fe1cf41ea853599e3.tar.gz
rust-86b791a2723235c860c95a1fe1cf41ea853599e3.zip
Rollup merge of #123618 - compiler-errors:overflow-ambig, r=spastorino
Discard overflow obligations in `impl_may_apply`

Hacky fix for #123493. Throws away obligations that are overflowing in `impl_may_apply` when we recompute if an impl applies, since those will lead to fatal overflow if processed during fulfillment.

Something about #114811 (I think it's the predicate reordering) caused us to evaluate predicates differently in error reporting leading to fatal overflow, though I believe the underlying overflow is possible to hit since this code was rewritten to use fulfillment.

Fixes #123493
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions