diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2023-06-21 19:09:18 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-06-29 14:26:26 -0300 |
| commit | 4925b57782bafc2ae26568154b5f085d75b5792c (patch) | |
| tree | 070e85b349233c5bdd6be9b72e9c4867b7b0a6ea /compiler/rustc_hir | |
| parent | d70deac161b58156bb25cb748a678b31702b93e8 (diff) | |
| download | rust-4925b57782bafc2ae26568154b5f085d75b5792c.tar.gz rust-4925b57782bafc2ae26568154b5f085d75b5792c.zip | |
Add bidirectional where clauses on RPITIT synthesized GATs
Diffstat (limited to 'compiler/rustc_hir')
| -rw-r--r-- | compiler/rustc_hir/src/hir.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs index c6c1e94edb2..6c419471de1 100644 --- a/compiler/rustc_hir/src/hir.rs +++ b/compiler/rustc_hir/src/hir.rs @@ -2664,6 +2664,10 @@ pub struct OpaqueTy<'hir> { pub generics: &'hir Generics<'hir>, pub bounds: GenericBounds<'hir>, pub origin: OpaqueTyOrigin, + // Opaques have duplicated lifetimes, this mapping connects the original lifetime with the copy + // so we can later generate bidirectional outlives predicates to enforce that these lifetimes + // stay in sync. + pub lifetime_mapping: &'hir [(Lifetime, LocalDefId)], pub in_trait: bool, } |