5use rustc_mir_dataflow::fmt::DebugWithContext;
6use rustc_mir_dataflow::impls::{
7▶ EverInitializedPlaces, EverInitializedPlacesDomain, MaybeUninitializedPlaces,
8 MaybeUninitializedPlacesDomain,
9};
· · ·
8▶ MaybeUninitializedPlacesDomain,
9};
10use rustc_mir_dataflow::{Analysis, GenKill, JoinSemiLattice};
· · ·
16// `iterate_to_fixpoint`, but are instead composed from the results of three sub-analyses that are
17// computed individually with `iterate_to_fixpoint`. Because it's faster that way than having a
18▶// single analysis where the domain has three components.
19pub(crate) struct Borrowck<'a, 'tcx> {
20 pub(crate) borrows: Borrows<'a, 'tcx>,
· · ·
24
25impl<'a, 'tcx> Analysis<'tcx> for Borrowck<'a, 'tcx> {
26▶ type Domain = BorrowckDomain;
27
28 const NAME: &'static str = "borrowck";
· · ·
29
30▶ fn bottom_value(&self, body: &mir::Body<'tcx>) -> Self::Domain {
31 BorrowckDomain {
32 borrows: self.borrows.bottom_value(body),
+ 26 more matches in this file