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)
            }
            mir::StatementKind::StorageLive(local) => {
                let local = self.sir_local(bx, &local).local().unwrap();
                self.push_stmt(bb, ykpack::Statement::StorageLive(local))
            }
            mir::StatementKind::StorageDead(local) => {
                let local = self.sir_local(bx, &local).local().unwrap();
                self.push_stmt(bb, ykpack::Statement::StorageDead(local))
            }
            _ => 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)
            }
            mir::StatementKind::StorageLive(local) => {
                let local = self.sir_local(bx, &local).local().unwrap();
                self.push_stmt(bb, ykpack::Statement::StorageLive(local))
            }
            mir::StatementKind::StorageDead(local) => {
                let local = self.sir_local(bx, &local).local().unwrap();
                self.push_stmt(bb, ykpack::Statement::StorageDead(local))
            }
            _ => 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 ) } mir :: StatementKind :: StorageLive ( local ) => { let local = self . sir_local ( bx , & local ) . local ( ) . unwrap ( ) ; self . push_stmt ( bb , ykpack :: Statement :: StorageLive ( local ) ) } mir :: StatementKind :: StorageDead ( local ) => { let local = self . sir_local ( bx , & local ) . local ( ) . unwrap ( ) ; self . push_stmt ( bb , ykpack :: Statement :: StorageDead ( local ) ) } _ => 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>
&mut self
bx
&Bx
bb
ykpack::BasicBlockIndex
stmt
&mir::Statement<'tcx>