Struct rustdoc::clean::auto_trait::AutoTraitFinder

pub(crate) struct AutoTraitFinder<'a, 'tcx> {
    pub(crate) cx: &'a mut DocContext<'tcx>,
}

Fields

cx: &'a mut DocContext<'tcx>

Implementations

impl<'a, 'tcx> AutoTraitFinder<'a, 'tcx>

pub(crate) fn new(cx: &'a mut DocContext<'tcx>) -> Self

fn generate_for_trait(
    &mut self,
    ty: Ty<'tcx>,
    trait_def_id: DefId,
    param_env: ParamEnv<'tcx>,
    item_def_id: DefId,
    f: &AutoTraitFinder<'tcx>,
    discard_positive_impl: bool
) -> Option<Item>

pub(crate) fn get_auto_trait_impls(&mut self, item_def_id: DefId) -> Vec<Item>

fn get_lifetime(
    region: Region<'_>,
    names_map: &FxHashMap<Symbol, Lifetime>
) -> Lifetime

fn handle_lifetimes<'cx>(
    regions: &RegionConstraintData<'cx>,
    names_map: &FxHashMap<Symbol, Lifetime>
) -> Vec<WherePredicate>

fn extract_for_generics(
    &self,
    pred: Predicate<'tcx>
) -> FxHashSet<GenericParamDef>

fn make_final_bounds(
    &self,
    ty_to_bounds: FxHashMap<Type, FxHashSet<GenericBound>>,
    ty_to_fn: FxHashMap<Type, (Option<PolyTrait>, Option<Type>)>,
    lifetime_to_bounds: FxHashMap<Lifetime, FxHashSet<GenericBound>>
) -> Vec<WherePredicate>

fn param_env_to_generics(
    &mut self,
    item_def_id: DefId,
    param_env: ParamEnv<'tcx>,
    existing_predicates: Vec<WherePredicate>,
    vid_to_region: FxHashMap<RegionVid, Region<'tcx>>
) -> Generics

fn sort_where_predicates(&self, predicates: &mut Vec<WherePredicate>)

fn sort_where_bounds(&self, bounds: &mut Vec<GenericBound>)

fn unstable_debug_sort<T: Debug>(&self, vec: &mut Vec<T>)

fn is_fn_ty(&self, ty: &Type) -> bool