diff options
| author | bors <bors@rust-lang.org> | 2024-01-30 19:22:04 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-01-30 19:22:04 +0000 |
| commit | cb4d9a1902b3ea17e93872dafb76d24aa6295c47 (patch) | |
| tree | c4c69212254f84cc1f8245d06685904b0a1ee13e /compiler/rustc_trait_selection/src/lib.rs | |
| parent | f3d71c9249072413f014b378bb5ea79c8a7dc9a7 (diff) | |
| parent | 720d7a7a03b9997644fe28a12a80a910b2652760 (diff) | |
| download | rust-cb4d9a1902b3ea17e93872dafb76d24aa6295c47.tar.gz rust-cb4d9a1902b3ea17e93872dafb76d24aa6295c47.zip | |
Auto merge of #119101 - compiler-errors:outlives, r=lcnr
Normalize region obligation in lexical region resolution with next-gen solver This normalizes region obligations when we `resolve_regions`, since they may be unnormalized with deferred projection equality. It's pretty hard to add tests that exercise this without also triggering MIR borrowck errors (because we don't normalize there yet). I've added one test with two revisions that should test that we both 1. normalize region obligations in the param env, and 2. normalize registered region obligations during lexical region resolution.
Diffstat (limited to 'compiler/rustc_trait_selection/src/lib.rs')
| -rw-r--r-- | compiler/rustc_trait_selection/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/lib.rs b/compiler/rustc_trait_selection/src/lib.rs index 995ed1e3b57..5ec45212bc7 100644 --- a/compiler/rustc_trait_selection/src/lib.rs +++ b/compiler/rustc_trait_selection/src/lib.rs @@ -39,6 +39,7 @@ extern crate smallvec; pub mod errors; pub mod infer; +pub mod regions; pub mod solve; pub mod traits; |