diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-02-06 22:45:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-06 22:45:43 +0100 |
| commit | 012ce8ae982a307c976fd3f9a2942a10a894e155 (patch) | |
| tree | be77dc770e6bdc03381b7ae0f31b1159bfb7de64 /compiler/rustc_pattern_analysis/src/errors.rs | |
| parent | af9994670011e826fa10848d9477e86caca5ae44 (diff) | |
| parent | e951bcff96ac606aad3b7870c7fa64a4a48aa04b (diff) | |
| download | rust-012ce8ae982a307c976fd3f9a2942a10a894e155.tar.gz rust-012ce8ae982a307c976fd3f9a2942a10a894e155.zip | |
Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr
Normalize type outlives obligations in NLL for new solver Normalize the type outlives assumptions and obligations in MIR borrowck. This should fix any of the lazy-norm-related MIR borrowck problems. Also some cleanups from last PR: 1. Normalize obligations in a loop in lexical region resolution 2. Use `deeply_normalize_with_skipped_universes` in lexical resolution since we may have, e.g. `for<'a> Alias<'a>: 'b`. r? lcnr
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/errors.rs')
0 files changed, 0 insertions, 0 deletions