pub struct Callsite<'tcx> {
pub caller: DefId,
pub callee: DefId,
pub block: BasicBlock,
pub span: Span,
pub args: Vec<Operand<'tcx>>,
}Expand description
A concrete unsafe callsite in one MIR body.
Fields§
§caller: DefIdFunction containing this call.
callee: DefIdUnsafe callee being invoked.
block: BasicBlockMIR block whose terminator is the call.
span: SpanSource span attached to the MIR call terminator.
args: Vec<Operand<'tcx>>MIR operands passed to the callee.
Implementations§
Source§impl<'tcx> Callsite<'tcx>
impl<'tcx> Callsite<'tcx>
Sourcepub fn location(&self) -> CallsiteLocation
pub fn location(&self) -> CallsiteLocation
Return the MIR location that identifies this callsite inside the verifier.
Sourcepub fn callee_name(&self, tcx: TyCtxt<'tcx>) -> String
pub fn callee_name(&self, tcx: TyCtxt<'tcx>) -> String
Return a stable human-readable callee path for diagnostics.
Trait Implementations§
Auto Trait Implementations§
impl<'tcx> Freeze for Callsite<'tcx>
impl<'tcx> !RefUnwindSafe for Callsite<'tcx>
impl<'tcx> Send for Callsite<'tcx>
impl<'tcx> Sync for Callsite<'tcx>
impl<'tcx> Unpin for Callsite<'tcx>
impl<'tcx> !UnwindSafe for Callsite<'tcx>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more