Struct rustc_middle::ty::fold::FnMutDelegate
source · pub struct FnMutDelegate<R, T, C> {
pub regions: R,
pub types: T,
pub consts: C,
}
Fields
regions: R
types: T
consts: C
Trait Implementations
sourceimpl<'tcx, R, T, C> BoundVarReplacerDelegate<'tcx> for FnMutDelegate<R, T, C>where
R: FnMut(BoundRegion) -> Region<'tcx>,
T: FnMut(BoundTy) -> Ty<'tcx>,
C: FnMut(BoundVar, Ty<'tcx>) -> Const<'tcx>,
impl<'tcx, R, T, C> BoundVarReplacerDelegate<'tcx> for FnMutDelegate<R, T, C>where
R: FnMut(BoundRegion) -> Region<'tcx>,
T: FnMut(BoundTy) -> Ty<'tcx>,
C: FnMut(BoundVar, Ty<'tcx>) -> Const<'tcx>,
fn replace_region(&mut self, br: BoundRegion) -> Region<'tcx>
fn replace_ty(&mut self, bt: BoundTy) -> Ty<'tcx>
fn replace_const(&mut self, bv: BoundVar, ty: Ty<'tcx>) -> Const<'tcx>
Auto Trait Implementations
impl<R, T, C> RefUnwindSafe for FnMutDelegate<R, T, C>where
C: RefUnwindSafe,
R: RefUnwindSafe,
T: RefUnwindSafe,
impl<R, T, C> Send for FnMutDelegate<R, T, C>where
C: Send,
R: Send,
T: Send,
impl<R, T, C> Sync for FnMutDelegate<R, T, C>where
C: Sync,
R: Sync,
T: Sync,
impl<R, T, C> Unpin for FnMutDelegate<R, T, C>where
C: Unpin,
R: Unpin,
T: Unpin,
impl<R, T, C> UnwindSafe for FnMutDelegate<R, T, C>where
C: UnwindSafe,
R: UnwindSafe,
T: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T, R> InternIteratorElement<T, R> for T
impl<T, R> InternIteratorElement<T, R> for T
type Output = R
fn intern_with<I, F>(iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Outputwhere
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,
sourceimpl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
sourceimpl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
impl<CTX, T> Value<CTX> for Twhere
CTX: DepContext,
default fn from_cycle_error(tcx: CTX) -> T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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.