Struct rustc_mir::shim::CloneShimBuilder

pub(in shim) struct CloneShimBuilder<'tcx> {
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    local_decls: IndexVec<Local, LocalDecl<'tcx>>,
    blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>,
    span: Span,
    sig: FnSig<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

def_id: DefId

local_decls: IndexVec<Local, LocalDecl<'tcx>>

blocks: IndexVec<BasicBlock, BasicBlockData<'tcx>>

span: Span

sig: FnSig<'tcx>

Implementations

impl<'tcx> CloneShimBuilder<'tcx>

pub(in shim) fn new(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    self_ty: Ty<'tcx>
) -> Self

pub(in shim) fn into_mir(
    self
) -> Body<'tcx>

pub(in shim) fn source_info(
    &self
) -> SourceInfo

pub(in shim) fn block(
    &mut self,
    statements: Vec<Statement<'tcx>>,
    kind: TerminatorKind<'tcx>,
    is_cleanup: bool
) -> BasicBlock

pub(in shim) fn block_index_offset(
    &mut self,
    offset: usize
) -> BasicBlock

Gives the index of an upcoming BasicBlock, with an offset. offset=0 will give you the index of the next BasicBlock, offset=1 will give the index of the next-to-next block, offset=-1 will give you the index of the last-created block

pub(in shim) fn make_statement(
    &self,
    kind: StatementKind<'tcx>
) -> Statement<'tcx>

pub(in shim) fn copy_shim(
    &mut self
)

pub(in shim) fn make_place(
    &mut self,
    mutability: Mutability,
    ty: Ty<'tcx>
) -> Place<'tcx>

pub(in shim) fn make_clone_call(
    &mut self,
    dest: Place<'tcx>,
    src: Place<'tcx>,
    ty: Ty<'tcx>,
    next: BasicBlock,
    cleanup: BasicBlock
)

pub(in shim) fn loop_header(
    &mut self,
    beg: Place<'tcx>,
    end: Place<'tcx>,
    loop_body: BasicBlock,
    loop_end: BasicBlock,
    is_cleanup: bool
)

pub(in shim) fn make_usize(
    &self,
    value: u64
) -> Box<Constant<'tcx>>

pub(in shim) fn array_shim(
    &mut self,
    dest: Place<'tcx>,
    src: Place<'tcx>,
    ty: Ty<'tcx>,
    len: u64
)

pub(in shim) fn tuple_like_shim<I>(
    &mut self,
    dest: Place<'tcx>,
    src: Place<'tcx>,
    tys: I
) where
    I: Iterator<Item = Ty<'tcx>>,