Enum ResultsHandle

pub enum ResultsHandle<'a, 'tcx, A>
where
    A: Analysis<'tcx>,
{
    BorrowedMut(&'a mut Results<'tcx, A>),
    Owned(Results<'tcx, A>),
}

Some ResultsCursors want to own a Results, and some want to borrow a Results, either mutable or immutably. This type allows all of the above. It’s similar to Cow.

Variants

BorrowedMut(&'a mut Results<'tcx, A>)

Owned(Results<'tcx, A>)

Methods from Deref<Target = Results<'tcx, A>>

pub fn as_results_cursor<'mir>( &'mir mut self, body: &'mir Body<'tcx>, ) -> ResultsCursor<'mir, 'tcx, A>

Creates a ResultsCursor that mutably borrows the Results, which is appropriate when the Results is also used outside the cursor.

pub fn entry_set_for_block(&self, block: BasicBlock) -> &A::Domain

Gets the dataflow state for the given block.

pub fn visit_with<'mir>( &mut self, body: &'mir Body<'tcx>, blocks: impl IntoIterator<Item = BasicBlock>, vis: &mut impl ResultsVisitor<'mir, 'tcx, A>, )

pub fn visit_reachable_with<'mir>( &mut self, body: &'mir Body<'tcx>, vis: &mut impl ResultsVisitor<'mir, 'tcx, A>, )

Trait Implementations

impl<'tcx, A> Deref for ResultsHandle<'_, 'tcx, A>

where A: Analysis<'tcx>,

type Target = Results<'tcx, A>

The resulting type after dereferencing.

fn deref(&self) -> &Results<'tcx, A>

Dereferences the value.

impl<'tcx, A> DerefMut for ResultsHandle<'_, 'tcx, A>

where A: Analysis<'tcx>,

fn deref_mut(&mut self) -> &mut Results<'tcx, A>

Mutably dereferences the value.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.