struct SkipConstr;Trait Implementations§
Source§impl TypeFolder for SkipConstr
impl TypeFolder for SkipConstr
fn fold_ty(&mut self, ty: &Ty) -> Ty
fn fold_binder<T>(&mut self, t: &Binder<T>) -> Binder<T>where
T: TypeFoldable,
fn fold_sort(&mut self, sort: &Sort) -> Sort
fn fold_bty(&mut self, bty: &BaseTy) -> BaseTy
fn fold_subset_ty(&mut self, constr: &SubsetTy) -> SubsetTy
fn fold_region(&mut self, re: &Region) -> Region
fn fold_const(&mut self, c: &Const) -> Const
fn fold_expr(&mut self, expr: &Expr) -> Expr
Auto Trait Implementations§
impl Freeze for SkipConstr
impl RefUnwindSafe for SkipConstr
impl Send for SkipConstr
impl Sync for SkipConstr
impl Unpin for SkipConstr
impl UnwindSafe for SkipConstr
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<F> FallibleTypeFolder for Fwhere
F: TypeFolder,
impl<F> FallibleTypeFolder for Fwhere
F: TypeFolder,
type Error = !
fn try_fold_binder<T>(
&mut self,
t: &Binder<T>,
) -> Result<Binder<T>, <F as FallibleTypeFolder>::Error>where
T: TypeFoldable,
fn try_fold_sort( &mut self, sort: &Sort, ) -> Result<Sort, <F as FallibleTypeFolder>::Error>
fn try_fold_ty( &mut self, ty: &Ty, ) -> Result<Ty, <F as FallibleTypeFolder>::Error>
fn try_fold_bty( &mut self, bty: &BaseTy, ) -> Result<BaseTy, <F as FallibleTypeFolder>::Error>
fn try_fold_subset_ty( &mut self, ty: &SubsetTy, ) -> Result<SubsetTy, <F as FallibleTypeFolder>::Error>
fn try_fold_region( &mut self, re: &Region, ) -> Result<Region, <F as FallibleTypeFolder>::Error>
fn try_fold_const( &mut self, c: &Const, ) -> Result<Const, <F as FallibleTypeFolder>::Error>
fn try_fold_expr( &mut self, expr: &Expr, ) -> Result<Expr, <F as FallibleTypeFolder>::Error>
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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