trait DropTreeBuilder<'tcx> {
// Required methods
fn make_block(cfg: &mut CFG<'tcx>) -> BasicBlock;
fn link_entry_point(cfg: &mut CFG<'tcx>, from: BasicBlock, to: BasicBlock);
}
Expand description
A trait that determined how DropTree creates its blocks and links to any entry nodes.
Required Methods§
sourcefn make_block(cfg: &mut CFG<'tcx>) -> BasicBlock
fn make_block(cfg: &mut CFG<'tcx>) -> BasicBlock
Create a new block for the tree. This should call either
cfg.start_new_block()
or cfg.start_new_cleanup_block()
.
sourcefn link_entry_point(cfg: &mut CFG<'tcx>, from: BasicBlock, to: BasicBlock)
fn link_entry_point(cfg: &mut CFG<'tcx>, from: BasicBlock, to: BasicBlock)
Links a block outside the drop tree, from
, to the block to
inside
the drop tree.
Object Safety§
This trait is not object safe.