about summary refs log tree commit diff
path: root/compiler/rustc_interface/src
diff options
context:
space:
mode:
authorMatthias Krüger <476013+matthiaskrgr@users.noreply.github.com>2025-04-26 07:13:09 +0200
committerGitHub <noreply@github.com>2025-04-26 07:13:09 +0200
commitf2f4152290ad4c86fa30b7150b0af95b3a37e1fa (patch)
treee7a940db41bfffd18e039d949e1ef9a5d139112e /compiler/rustc_interface/src
parent6f6fa0f23aa6b1366019689ced4143627b9347f0 (diff)
parent31c8d10342bfa437d23eb4aa3f9c807a67f14272 (diff)
downloadrust-f2f4152290ad4c86fa30b7150b0af95b3a37e1fa.tar.gz
rust-f2f4152290ad4c86fa30b7150b0af95b3a37e1fa.zip
Rollup merge of #140305 - compiler-errors:coerce-loop, r=lcnr
Track per-obligation recursion depth only if there is inference in the new solver

Track how many times an obligation has been processed in the fulfillment context by reusing its recursion depth, and only overflow if a singular (root) goal hits the limit.

This also fixes a (probably theoretical at this point) problem where we don't detect pseudo-hangs across `select_where_possible` calls.

fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/186

r? lcnr
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions