fn cached_block(&self) -> Option<BasicBlock> {
        let mut drops = self.drops.iter().rev().filter_map(|data| {
            match data.kind {
                DropKind::Value { cached_block } => Some(cached_block),
                DropKind::Storage => None
            }
        });
        if let Some(cached_block) = drops.next() {
            Some(cached_block.expect("drop cache is not filled"))
        } else {
            None
        }
    }
/// Returns the cached entrypoint for diverging exit from this scope.
///
/// Precondition: the caches must be fully filled (i.e. diverge_cleanup is called) in order for
/// this method to work correctly.
Returns the cached entrypoint for diverging exit from this scope.
Precondition: the caches must be fully filled  in order for
this method to work correctly.
Returns the cached entrypoint for diverging exit from this scope . Precondition : the caches must be fully filled in order for this method to work correctly .
fn cached_block(&self) -> Option<BasicBlock> {
        let mut drops = self.drops.iter().rev().filter_map(|data| {
            match data.kind {
                DropKind::Value { cached_block } => Some(cached_block),
                DropKind::Storage => None
            }
        });
        if let Some(cached_block) = drops.next() {
            Some(cached_block.expect("drop cache is not filled"))
        } else {
            None
        }
    }
fn cached_block ( & self ) -> Option < BasicBlock > { let mut drops = self . drops . iter ( ) . rev ( ) . filter_map ( | data | { match data . kind { DropKind :: Value { cached_block } => Some ( cached_block ) , DropKind :: Storage => None } } ) ; if let Some ( cached_block ) = drops . next ( ) { Some ( cached_block . expect ( " " ) ) } else { None } }
Returns the cached entrypoint for diverging exit from this scope.
Returns the cached entrypoint for diverging exit from this scope .
&self
&self