struct Holes {
sorts: UnordMap<SortVid, Sort>,
subset_tys: UnordMap<TyVid, SubsetTy>,
types: UnordMap<TyVid, Ty>,
regions: UnordMap<RegionVid, Region>,
consts: UnordMap<ConstVid, Const>,
}Fields§
§sorts: UnordMap<SortVid, Sort>§subset_tys: UnordMap<TyVid, SubsetTy>§types: UnordMap<TyVid, Ty>§regions: UnordMap<RegionVid, Region>§consts: UnordMap<ConstVid, Const>Implementations§
Source§impl Holes
impl Holes
fn replace_holes<T: TypeFoldable>(&self, t: &T) -> T
Trait Implementations§
Source§impl TypeFolder for &Holes
impl TypeFolder for &Holes
fn fold_sort(&mut self, sort: &Sort) -> Sort
fn fold_ty(&mut self, ty: &Ty) -> Ty
fn fold_subset_ty(&mut self, constr: &SubsetTy) -> SubsetTy
fn fold_region(&mut self, r: &Region) -> Region
fn fold_const(&mut self, ct: &Const) -> Const
fn fold_binder<T>(&mut self, t: &Binder<T>) -> Binder<T>where
T: TypeFoldable,
fn fold_bty(&mut self, bty: &BaseTy) -> BaseTy
fn fold_expr(&mut self, expr: &Expr) -> Expr
Auto Trait Implementations§
impl Freeze for Holes
impl RefUnwindSafe for Holes
impl Send for Holes
impl Sync for Holes
impl Unpin for Holes
impl UnwindSafe for Holes
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<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