Struct FlattenBinders 

struct FlattenBinders<'a, 'db> {
    interner: DbInterner<'db>,
    enclosing_binders: &'a [BoundVarKinds<'db>],
    nested_binder_depth: DebruijnIndex,
}

Transform a projection for<'a> for<'b> F::Foo<'a, 'b, X> into for<'a, 'b> F::Foo<'a, 'b, X>. Update de Bruijn indexes for enclosing binders, but preserve nested binders.

Fields

interner: DbInterner<'db>

enclosing_binders: &'a [BoundVarKinds<'db>]

nested_binder_depth: DebruijnIndex

Implementations

impl FlattenBinders<'_, '_>

fn flattened_var( &self, debruijn: DebruijnIndex, var: BoundVar, ) -> Option<BoundVar>

Trait Implementations

impl<'db> TypeFolder<DbInterner<'db>> for FlattenBinders<'_, 'db>

fn cx(&self) -> DbInterner<'db>

fn fold_binder<T: TypeFoldable<DbInterner<'db>>>( &mut self, binder: Binder<'db, T>, ) -> Binder<'db, T>

fn fold_ty(&mut self, ty: Ty<'db>) -> Ty<'db>

fn fold_region(&mut self, region: Region<'db>) -> Region<'db>

fn fold_const(&mut self, konst: Const<'db>) -> Const<'db>

fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate

fn fold_clauses( &mut self, c: <I as Interner>::Clauses, ) -> <I as Interner>::Clauses