Struct NestedObligationsForSelfTy 

struct NestedObligationsForSelfTy<'a, 'db> {
    ctx: &'a InferenceTable<'db>,
    self_ty: TyVid,
    root_cause: &'a ObligationCause,
    obligations_for_self_ty: &'a mut SmallVec<[Obligation<'db, Predicate<'db>>; 4]>,
}

Fields

ctx: &'a InferenceTable<'db>

self_ty: TyVid

root_cause: &'a ObligationCause

obligations_for_self_ty: &'a mut SmallVec<[Obligation<'db, Predicate<'db>>; 4]>

Trait Implementations

impl<'a, 'db> ProofTreeVisitor<'db> for NestedObligationsForSelfTy<'a, 'db>

type Result = ()

fn span(&self) -> Span

fn config(&self) -> InspectConfig

fn visit_goal(&mut self, inspect_goal: &InspectGoal<'_, 'db>)

fn on_recursion_limit(&mut self) -> Self::Result