pub fn assert(&mut self, block: BasicBlock,
                  cond: Operand<'tcx>,
                  expected: bool,
                  msg: AssertMessage<'tcx>,
                  span: Span)
                  -> BasicBlock {
        let source_info = self.source_info(span);

        let success_block = self.cfg.start_new_block();
        let cleanup = self.diverge_cleanup();

        self.cfg.terminate(block, source_info,
                           TerminatorKind::Assert {
                               cond,
                               expected,
                               msg,
                               target: success_block,
                               cleanup,
                           });

        success_block
    }
/// Create an Assert terminator and return the success block.
/// If the boolean condition operand is not the expected value,
/// a runtime panic will be caused with the given message.
Create an Assert terminator and return the success block.
If the boolean condition operand is not the expected value,
a runtime panic will be caused with the given message.
Create an Assert terminator and return the success block . If the boolean condition operand is not the expected value a runtime panic will be caused with the given message .
pub fn assert(&mut self, block: BasicBlock,
                  cond: Operand<'tcx>,
                  expected: bool,
                  msg: AssertMessage<'tcx>,
                  span: Span)
                  -> BasicBlock {
        let source_info = self.source_info(span);
        let success_block = self.cfg.start_new_block();
        let cleanup = self.diverge_cleanup();
        self.cfg.terminate(block, source_info,
                           TerminatorKind::Assert {
                               cond,
                               expected,
                               msg,
                               target: success_block,
                               cleanup,
                           });
        success_block
    }
pub fn assert ( & mut self , block : BasicBlock , cond : Operand < ' tcx > , expected : bool , msg : AssertMessage < ' tcx > , span : Span ) -> BasicBlock { let source_info = self . source_info ( span ) ; let success_block = self . cfg . start_new_block ( ) ; let cleanup = self . diverge_cleanup ( ) ; self . cfg . terminate ( block , source_info , TerminatorKind :: Assert { cond , expected , msg , target : success_block , cleanup , } ) ; success_block }
Create an Assert terminator and return the success block.
Create an Assert terminator and return the success block .
&mut self
block
BasicBlock
cond
Operand<'tcx>
expected
bool
msg
AssertMessage<'tcx>
span
Span
&mut self
block
BasicBlock
cond
Operand<'tcx>
expected
bool
msg
AssertMessage<'tcx>
span
Span