pub fn lower_statement<Bx: BuilderMethods<'a, 'tcx>>(
        &mut self,
        bx: &Bx,
        bb: ykpack::BasicBlockIndex,
        stmt: &mir::Statement<'tcx>,
    ) {
        match stmt.kind {
            mir::StatementKind::Assign(box (ref place, ref rvalue)) => {
                self.lower_assign_stmt(bx, bb, place, rvalue)
            }
            // We compute our own liveness in Yorick, so these are ignored.
            mir::StatementKind::StorageLive(_) | mir::StatementKind::StorageDead(_) => {}
            _ => self.push_stmt(bb, ykpack::Statement::Unimplemented(format!("{:?}", stmt))),
        }
    }
/// Converts a MIR statement to SIR, appending the result to `bb`.
Converts a MIR statement to SIR, appending the result to `bb`.
Converts a MIR statement to SIR appending the result to ` bb ` .
pub fn lower_statement<Bx: BuilderMethods<'a, 'tcx>>(
        &mut self,
        bx: &Bx,
        bb: ykpack::BasicBlockIndex,
        stmt: &mir::Statement<'tcx>,
    ) {
        match stmt.kind {
            mir::StatementKind::Assign(box (ref place, ref rvalue)) => {
                self.lower_assign_stmt(bx, bb, place, rvalue)
            }
            // We compute our own liveness in Yorick, so these are ignored.
            mir::StatementKind::StorageLive(_) | mir::StatementKind::StorageDead(_) => {}
            _ => self.push_stmt(bb, ykpack::Statement::Unimplemented(format!("{:?}", stmt))),
        }
    }
pub fn lower_statement < Bx : BuilderMethods < ' a , ' tcx > > ( & mut self , bx : & Bx , bb : ykpack :: BasicBlockIndex , stmt : & mir :: Statement < ' tcx > , ) { match stmt . kind { mir :: StatementKind :: Assign ( box ( ref place , ref rvalue ) ) => { self . lower_assign_stmt ( bx , bb , place , rvalue ) } // We compute our own liveness in Yorick, so these are ignored. mir :: StatementKind :: StorageLive ( _ ) | mir :: StatementKind :: StorageDead ( _ ) => { } _ => self . push_stmt ( bb , ykpack :: Statement :: Unimplemented ( format ! ( " " stmt ) ) ) , } }
Converts a MIR statement to SIR, appending the result to `bb`.
Converts a MIR statement to SIR appending the result to ` bb ` .
&mut self
bx
&Bx
bb
ykpack::BasicBlockIndex
stmt
&mir::Statement<'tcx>