about summary refs log tree commit diff
path: root/compiler/rustc_codegen_llvm/src/llvm/diagnostic.rs
diff options
context:
space:
mode:
authorJacob Pratt <jacob@jhpratt.dev>2025-03-23 20:44:13 -0400
committerGitHub <noreply@github.com>2025-03-23 20:44:13 -0400
commit0e95f962d9718a7680ad8c10aa747a120da9ed5b (patch)
treea96cd1131d237664ee96e872d0fe2aeab2abc5c0 /compiler/rustc_codegen_llvm/src/llvm/diagnostic.rs
parentab138e6aa88af4c91c709b443cf1e0d8314010cc (diff)
parentfad34c603cd6c7e432f297e682bb68a2cf55df0b (diff)
downloadrust-0e95f962d9718a7680ad8c10aa747a120da9ed5b.tar.gz
rust-0e95f962d9718a7680ad8c10aa747a120da9ed5b.zip
Rollup merge of #138846 - compiler-errors:stall-prereqs, r=lcnr
Tweaks to writeback and `Obligation -> Goal` conversion

Each of these commits are self-contained, but are prerequisites that I'd like to land before #138845, which still needs some cleaning.

The ""most controversial"" one is probably [Explicitly don't fold coroutine obligations in writeback](https://github.com/rust-lang/rust/commit/e7d27bae27b3b213a44e12b780e5df74a9929e58), which I prefer because I think using `fold_predicate` to control against not normalizing predicates seems... easy to mess up 🤔, and we could have *other things* that we don't want to normalize.

Explicitly noting whether we want `resolve` to normalize is a lot clearer (and currently in writeback is limited to resolving stalled coroutine obligations), since we can attach it to a comment that explains *why*.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/llvm/diagnostic.rs')
0 files changed, 0 insertions, 0 deletions