pub trait TypeFolder: FallibleTypeFolder<Error = !> {
// Provided methods
fn enter_binder(&mut self, _vars: &BoundVariableKinds) { ... }
fn exit_binder(&mut self) { ... }
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 enter_binder(&mut self, _vars: &BoundVariableKinds)
fn exit_binder(&mut self)
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.