pub trait TypeFolder: FallibleTypeFolder<Error = !> {
// Provided methods
fn fold_binder<T: TypeFoldable>(&mut self, t: &Binder<T>) -> Binder<T> { ... }
fn fold_sort(&mut self, sort: &Sort) -> Sort { ... }
fn fold_ty(&mut self, ty: &Ty) -> Ty { ... }
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 { ... }
}Provided Methods§
fn fold_binder<T: TypeFoldable>(&mut self, t: &Binder<T>) -> Binder<T>
fn fold_sort(&mut self, sort: &Sort) -> Sort
fn fold_ty(&mut self, ty: &Ty) -> Ty
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
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.