diff options
| author | Jubilee <46493976+workingjubilee@users.noreply.github.com> | 2024-05-28 02:07:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-28 02:07:47 -0700 |
| commit | fb95fda87fe6658d3865eb9c75fe51b4c5add09b (patch) | |
| tree | 9bf0a4365cabb0b84c5275a04564b7500a5358eb /tests/codegen/array-equality.rs | |
| parent | 8e89f83cbbe6138f60eed8cbe04581af5acc55e4 (diff) | |
| parent | 98bfd54b0abd938d6b424d45b57766e6f2f41ea2 (diff) | |
| download | rust-fb95fda87fe6658d3865eb9c75fe51b4c5add09b.tar.gz rust-fb95fda87fe6658d3865eb9c75fe51b4c5add09b.zip | |
Rollup merge of #125343 - lcnr:eagerly-normalize-added-goals, r=compiler-errors
`-Znext-solver`: eagerly normalize when adding goals fixes #125269. I am not totally with this fix and going to keep this open until we have a more general discussion about how to handle hangs caused by lazy norm in the new solver.
Diffstat (limited to 'tests/codegen/array-equality.rs')
0 files changed, 0 insertions, 0 deletions
