pub enum FnArg<'tcx, Prov = AllocId>where
Prov: Provenance,{
Copy(OpTy<'tcx, Prov>),
InPlace(PlaceTy<'tcx, Prov>),
}
Expand description
An argment passed to a function.
Variants§
Copy(OpTy<'tcx, Prov>)
Pass a copy of the given operand.
InPlace(PlaceTy<'tcx, Prov>)
Allow for the argument to be passed in-place: destroy the value originally stored at that place and make the place inaccessible for the duration of the function call.
Auto Trait Implementations§
impl<'tcx, Prov = AllocId> !RefUnwindSafe for FnArg<'tcx, Prov>
impl<'tcx, Prov> Send for FnArg<'tcx, Prov>where Prov: Send,
impl<'tcx, Prov> Sync for FnArg<'tcx, Prov>where Prov: Sync,
impl<'tcx, Prov> Unpin for FnArg<'tcx, Prov>where Prov: Unpin,
impl<'tcx, Prov = AllocId> !UnwindSafe for FnArg<'tcx, Prov>
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
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.