diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-04-11 13:31:48 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-11 13:31:48 +1000 |
| commit | d21393487425c391d37a450607cf55e5036085cb (patch) | |
| tree | d82d919bbb52da499b785ed2c187226468572e8a /compiler/rustc_interface/src | |
| parent | ea1a31b1501716c60f2f1895e915de8cbca1cff1 (diff) | |
| parent | decd7ecd1e3640c4bada4f4a3de411a8d507d40c (diff) | |
| download | rust-d21393487425c391d37a450607cf55e5036085cb.tar.gz rust-d21393487425c391d37a450607cf55e5036085cb.zip | |
Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnr
Deeply normalize obligations in `BestObligation` folder Built on #139513. This establishes a somewhat rough invariant that the `Obligation`'s predicate is always deeply normalized in the folder; when we construct a new obligation we normalize it. Putting this up for discussion since it does affect some goals. r? lcnr
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions