Struct OutlivesCollector

struct OutlivesCollector<'a, I: Interner> {
    cx: I,
    out: &'a mut SmallVec<[Component<I>; 4]>,
    visited: SsoHashSet<I::Ty>,
}

Fields

cx: I

out: &'a mut SmallVec<[Component<I>; 4]>

visited: SsoHashSet<I::Ty>

Trait Implementations

impl<I: Interner> TypeVisitor<I> for OutlivesCollector<'_, I>

fn visit_ty(&mut self, ty: I::Ty) -> Self::Result

fn visit_region(&mut self, lt: I::Region) -> Self::Result

type Result = ()

fn visit_binder<T: TypeVisitable<I>>( &mut self, t: &Binder<I, T>, ) -> Self::Result

fn visit_const(&mut self, c: I::Const) -> Self::Result

fn visit_predicate(&mut self, p: I::Predicate) -> Self::Result

fn visit_clauses(&mut self, p: I::Clauses) -> Self::Result

fn visit_error(&mut self, _guar: I::ErrorGuaranteed) -> Self::Result

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.