[][src]Trait rustc::ty::fold::TypeFoldable

pub trait TypeFoldable<'tcx>: Debug + Clone {
    fn super_fold_with<F: TypeFolder<'tcx>>(&self, folder: &mut F) -> Self;
fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool; fn fold_with<F: TypeFolder<'tcx>>(&self, folder: &mut F) -> Self { ... }
fn visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool { ... }
fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool { ... }
fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool { ... }
fn has_escaping_bound_vars(&self) -> bool { ... }
fn has_type_flags(&self, flags: TypeFlags) -> bool { ... }
fn has_projections(&self) -> bool { ... }
fn has_opaque_types(&self) -> bool { ... }
fn references_error(&self) -> bool { ... }
fn has_param_types(&self) -> bool { ... }
fn has_infer_types(&self) -> bool { ... }
fn has_infer_consts(&self) -> bool { ... }
fn has_local_value(&self) -> bool { ... }
fn needs_infer(&self) -> bool { ... }
fn has_placeholders(&self) -> bool { ... }
fn needs_subst(&self) -> bool { ... }
fn has_re_placeholders(&self) -> bool { ... }
fn has_closure_types(&self) -> bool { ... }
fn has_free_regions(&self) -> bool { ... }
fn has_erased_regions(&self) -> bool { ... }
fn has_erasable_regions(&self) -> bool { ... }
fn is_global(&self) -> bool { ... }
fn has_late_bound_regions(&self) -> bool { ... }
fn visit_tys_shallow(&self, visit: impl FnMut(Ty<'tcx>) -> bool) -> bool { ... } }
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

This trait is implemented for every type that can be folded. Basically, every type that has a corresponding method in TypeFolder.

To implement this conveniently, use the derive macro located in librustc_macros.

Required methods

fn super_fold_with<F: TypeFolder<'tcx>>(&self, folder: &mut F) -> Self

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn super_visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Loading content...

Provided methods

fn fold_with<F: TypeFolder<'tcx>>(&self, folder: &mut F) -> Self

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn visit_with<V: TypeVisitor<'tcx>>(&self, visitor: &mut V) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_vars_bound_at_or_above(&self, binder: DebruijnIndex) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Returns true if self has any late-bound regions that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound regions that appear free.

fn has_vars_bound_above(&self, binder: DebruijnIndex) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Returns true if this self has any regions that escape binder (and hence are not bound by it).

fn has_escaping_bound_vars(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_type_flags(&self, flags: TypeFlags) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_projections(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_opaque_types(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn references_error(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_param_types(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_infer_types(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_infer_consts(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_local_value(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn needs_infer(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_placeholders(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn needs_subst(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_re_placeholders(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_closure_types(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_free_regions(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

"Free" regions in this context means that it has any region that is not (a) erased or (b) late-bound.

fn has_erased_regions(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

fn has_erasable_regions(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

True if there are any un-erased free regions.

fn is_global(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Indicates whether this value references only 'global' generic parameters that are the same regardless of what fn we are in. This is used for caching.

fn has_late_bound_regions(&self) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

True if there are any late-bound regions

fn visit_tys_shallow(&self, visit: impl FnMut(Ty<'tcx>) -> bool) -> bool

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

A visitor that does not recurse into types, works like fn walk_shallow in Ty.

Loading content...

Implementations on Foreign Types

impl<'tcx> TypeFoldable<'tcx> for GeneratorKind[src]

impl<'tcx, R: Idx, C: Idx> TypeFoldable<'tcx> for BitMatrix<R, C>[src]

impl<'tcx, C> TypeFoldable<'tcx> for ExClause<C> where
    C: ExClauseFold<'tcx>,
    C::Substitution: Clone,
    C::RegionConstraint: Clone
[src]

impl<'tcx, C> TypeFoldable<'tcx> for DelayedLiteral<C> where
    C: Context<CanonicalConstrainedSubst: TypeFoldable<'tcx>> + Clone
[src]

impl<'tcx, C> TypeFoldable<'tcx> for Literal<C> where
    C: Context<GoalInEnvironment: Clone + TypeFoldable<'tcx>> + Clone
[src]

impl<'tcx> TypeFoldable<'tcx> for TableIndex[src]

impl<'tcx> TypeFoldable<'tcx> for Constness[src]

impl<'tcx> TypeFoldable<'tcx> for ()[src]

impl<'tcx> TypeFoldable<'tcx> for bool[src]

impl<'tcx> TypeFoldable<'tcx> for usize[src]

impl<'tcx> TypeFoldable<'tcx> for u64[src]

impl<'tcx> TypeFoldable<'tcx> for String[src]

impl<'tcx> TypeFoldable<'tcx> for FloatTy[src]

impl<'tcx> TypeFoldable<'tcx> for NodeId[src]

impl<'tcx> TypeFoldable<'tcx> for Symbol[src]

impl<'tcx> TypeFoldable<'tcx> for Res[src]

impl<'tcx> TypeFoldable<'tcx> for DefId[src]

impl<'tcx> TypeFoldable<'tcx> for InlineAsmInner[src]

impl<'tcx> TypeFoldable<'tcx> for MatchSource[src]

impl<'tcx> TypeFoldable<'tcx> for Unsafety[src]

impl<'tcx> TypeFoldable<'tcx> for Abi[src]

impl<'tcx> TypeFoldable<'tcx> for Span[src]

impl<'tcx, T: TypeFoldable<'tcx>, U: TypeFoldable<'tcx>> TypeFoldable<'tcx> for (T, U)[src]

impl<'tcx, T> TypeFoldable<'tcx> for Option<T> where
    T: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T, E> TypeFoldable<'tcx> for Result<T, E> where
    T: TypeFoldable<'tcx>,
    E: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Rc<T>[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Arc<T>[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Box<T>[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Vec<T>[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Box<[T]>[src]

impl<'tcx, T: TypeFoldable<'tcx>, I: Idx> TypeFoldable<'tcx> for IndexVec<I, T>[src]

Loading content...

Implementors

impl<'tcx> TypeFoldable<'tcx> for &'tcx AdtDef[src]

AdtDefs are basically the same as a DefId.

impl<'tcx> TypeFoldable<'tcx> for &'tcx Const<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<ExistentialPredicate<'tcx>>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<Predicate<'tcx>>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<PlaceElem<'tcx>>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<ProjectionKind>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<Goal<'tcx>>[src]

impl<'tcx> TypeFoldable<'tcx> for &'tcx List<Ty<'tcx>>[src]

impl<'tcx> TypeFoldable<'tcx> for CanonicalVarKind[src]

impl<'tcx> TypeFoldable<'tcx> for Certainty[src]

impl<'tcx> TypeFoldable<'tcx> for BindingForm<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for FakeReadCause[src]

impl<'tcx> TypeFoldable<'tcx> for LocalInfo<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for MirPhase[src]

impl<'tcx> TypeFoldable<'tcx> for Mutability[src]

impl<'tcx> TypeFoldable<'tcx> for Operand<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for RetagKind[src]

impl<'tcx> TypeFoldable<'tcx> for Rvalue<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for StatementKind<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ErrorHandled[src]

impl<'tcx> TypeFoldable<'tcx> for Clause<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for DomainGoal<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for FromEnv<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for GoalKind<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ProgramClauseCategory[src]

impl<'tcx> TypeFoldable<'tcx> for QuantifierKind[src]

impl<'tcx> TypeFoldable<'tcx> for Reveal[src]

impl<'tcx> TypeFoldable<'tcx> for SelectionError<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for WellFormed<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for WhereClause<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for OutlivesBound<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for SelectionCandidate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Adjust<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for AutoBorrow<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for AutoBorrowMutability[src]

impl<'tcx> TypeFoldable<'tcx> for PointerCast[src]

impl<'tcx> TypeFoldable<'tcx> for BindingMode[src]

impl<'tcx> TypeFoldable<'tcx> for AdtKind[src]

impl<'tcx> TypeFoldable<'tcx> for BoundRegion[src]

impl<'tcx> TypeFoldable<'tcx> for ClosureKind[src]

impl<'tcx> TypeFoldable<'tcx> for ConstKind<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ExistentialPredicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for InferConst<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for InferTy[src]

impl<'tcx> TypeFoldable<'tcx> for IntVarValue[src]

impl<'tcx> TypeFoldable<'tcx> for Predicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for UserType<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Variance[src]

impl<'tcx> TypeFoldable<'tcx> for TypeError<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for CanonicalVarInfo[src]

impl<'tcx> TypeFoldable<'tcx> for CanonicalVarValues<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for QueryRegionConstraints<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for MemberConstraint<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Scope[src]

impl<'tcx> TypeFoldable<'tcx> for Cache[src]

impl<'tcx> TypeFoldable<'tcx> for GlobalId<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for BasicBlockData<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for BlockTailInfo[src]

impl<'tcx> TypeFoldable<'tcx> for Body<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for BodyAndCache<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Constant<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Field[src]

impl<'tcx> TypeFoldable<'tcx> for GeneratorLayout<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for GeneratorSavedLocal[src]

impl<'tcx> TypeFoldable<'tcx> for InlineAsm<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Local[src]

impl<'tcx> TypeFoldable<'tcx> for LocalDecl<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Place<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Promoted[src]

impl<'tcx> TypeFoldable<'tcx> for SourceInfo[src]

impl<'tcx> TypeFoldable<'tcx> for SourceScope[src]

impl<'tcx> TypeFoldable<'tcx> for SourceScopeData[src]

impl<'tcx> TypeFoldable<'tcx> for SourceScopeLocalData[src]

impl<'tcx> TypeFoldable<'tcx> for Statement<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Terminator<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for UserTypeProjection[src]

impl<'tcx> TypeFoldable<'tcx> for UserTypeProjections[src]

impl<'tcx> TypeFoldable<'tcx> for VarDebugInfo<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for PlaceTy<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for DropckOutlivesResult<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for NormalizationResult<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for AscribeUserType<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Eq<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ProvePredicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Subtype<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Environment<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ProgramClause<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Adjustment<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for OverloadedDeref<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for VariantIdx[src]

impl<'tcx> TypeFoldable<'tcx> for TraitRefPrintOnlyTraitPath<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for GeneratorWitness<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for CanonicalUserTypeAnnotation<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ClosureSubsts<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ExistentialProjection<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ExistentialTraitRef<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for FnSig<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for FreeRegion[src]

impl<'tcx> TypeFoldable<'tcx> for GenSig<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for GeneratorSubsts<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ImplHeader<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Instance<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for InstantiatedPredicates<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ParamConst[src]

impl<'tcx> TypeFoldable<'tcx> for ParamEnv<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ParamTy[src]

impl<'tcx> TypeFoldable<'tcx> for Placeholder<BoundRegion>[src]

impl<'tcx> TypeFoldable<'tcx> for ProjectionPredicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ProjectionTy<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for RegionVid[src]

impl<'tcx> TypeFoldable<'tcx> for SubtypePredicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for TraitPredicate<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for TraitRef<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for TypeAndMut<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for UniverseIndex[src]

impl<'tcx> TypeFoldable<'tcx> for UserTypeAnnotationIndex[src]

impl<'tcx> TypeFoldable<'tcx> for GenericArg<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for UserSelfTy<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for UserSubsts<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for CanonicalVarInfos<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for PlaceElem<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for ProjectionKind[src]

impl<'tcx> TypeFoldable<'tcx> for Clauses<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Goal<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Region<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for SubstsRef<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Ty<'tcx>[src]

impl<'tcx, A, B> TypeFoldable<'tcx> for OutlivesPredicate<A, B> where
    A: TypeFoldable<'tcx>,
    B: TypeFoldable<'tcx>, 
[src]

impl<'tcx, G> TypeFoldable<'tcx> for InEnvironment<'tcx, G> where
    G: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for Vtable<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableAutoImplData<N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableBuiltinData<N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableClosureData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableFnPointerData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableGeneratorData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableImplData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableObjectData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, N> TypeFoldable<'tcx> for VtableTraitAliasData<'tcx, N> where
    N: TypeFoldable<'tcx>, 
[src]

impl<'tcx, R> TypeFoldable<'tcx> for QueryResponse<'tcx, R> where
    R: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T> TypeFoldable<'tcx> for ClearCrossCrate<T> where
    T: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T> TypeFoldable<'tcx> for Normalize<T> where
    T: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T> TypeFoldable<'tcx> for ExpectedFound<T> where
    T: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T> TypeFoldable<'tcx> for ParamEnvAnd<'tcx, T> where
    T: TypeFoldable<'tcx>, 
[src]

impl<'tcx, T: TypeFoldable<'tcx>> TypeFoldable<'tcx> for Binder<T>[src]

impl<'tcx, V> TypeFoldable<'tcx> for Canonical<'tcx, V> where
    V: TypeFoldable<'tcx>, 
[src]

Loading content...