Struct UninhabitedFrom 

struct UninhabitedFrom<'a, 'db> {
    target_mod: ModuleId,
    recursive_ty: FxHashSet<Ty<'db>>,
    max_depth: usize,
    infcx: &'a InferCtxt<'db>,
    env: ParamEnv<'db>,
}

Fields

target_mod: ModuleId

recursive_ty: FxHashSet<Ty<'db>>

max_depth: usize

infcx: &'a InferCtxt<'db>

env: ParamEnv<'db>

Implementations

impl<'a, 'db> UninhabitedFrom<'a, 'db>

fn new( infcx: &'a InferCtxt<'db>, target_mod: ModuleId, env: ParamEnv<'db>, ) -> Self

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

fn db(&self) -> &'db dyn HirDatabase

fn visit_adt( &mut self, adt: AdtId, subst: GenericArgs<'db>, ) -> ControlFlow<VisiblyUninhabited>

fn visit_variant( &mut self, variant: VariantId, subst: GenericArgs<'db>, ) -> ControlFlow<VisiblyUninhabited>

fn visit_field( &mut self, vis: Option<Visibility>, ty: &EarlyBinder<'db, Ty<'db>>, subst: GenericArgs<'db>, ) -> ControlFlow<VisiblyUninhabited>

Trait Implementations

impl<'db> TypeVisitor<DbInterner<'db>> for UninhabitedFrom<'_, 'db>

type Result = ControlFlow<VisiblyUninhabited>

fn visit_ty(&mut self, ty: Ty<'db>) -> ControlFlow<VisiblyUninhabited>

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

where T: TypeVisitable<I>,

fn visit_region(&mut self, r: <I as Interner>::Region) -> Self::Result

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

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

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

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