diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2024-11-26 14:02:10 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2024-12-10 12:02:48 +1100 |
| commit | d490ea1f395910234c6c567db15b6dab0dac9ef0 (patch) | |
| tree | 7fa7637f92e7750d52671a86a229625f7f8c459a /compiler/rustc_mir_dataflow/src/impls/mod.rs | |
| parent | 83f67c591589177a568b336c8754165dc9f72eff (diff) | |
| download | rust-d490ea1f395910234c6c567db15b6dab0dac9ef0.tar.gz rust-d490ea1f395910234c6c567db15b6dab0dac9ef0.zip | |
Remove lifetimes from `BorrowckDomain`.
They are only present because it's currently defined in terms of the domains of `Borrows` and `MaybeUninitializedPlaces` and `EverInitializedPlaces` via associated types. This commit introduces typedefs for those domains, avoiding the lifetimes.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/impls/mod.rs')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/impls/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_mir_dataflow/src/impls/mod.rs b/compiler/rustc_mir_dataflow/src/impls/mod.rs index b9e194b00c5..51f05f034ef 100644 --- a/compiler/rustc_mir_dataflow/src/impls/mod.rs +++ b/compiler/rustc_mir_dataflow/src/impls/mod.rs @@ -9,7 +9,8 @@ mod storage_liveness; pub use self::borrowed_locals::{MaybeBorrowedLocals, borrowed_locals}; pub use self::initialized::{ - EverInitializedPlaces, MaybeInitializedPlaces, MaybeUninitializedPlaces, + EverInitializedPlaces, EverInitializedPlacesDomain, MaybeInitializedPlaces, + MaybeUninitializedPlaces, MaybeUninitializedPlacesDomain, }; pub use self::liveness::{ MaybeLiveLocals, MaybeTransitiveLiveLocals, TransferFunction as LivenessTransferFunction, |