[−][src]Struct rustdoc::clean::auto_trait::AutoTraitFinder

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

Fields

cx: &'a DocContext<'tcx>f: AutoTraitFinder<'tcx>

Implementations

impl<'a, 'tcx> AutoTraitFinder<'a, 'tcx>[src]

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

pub(crate) fn get_auto_trait_impls(
    &self,
    ty: Ty<'tcx>,
    param_env_def_id: DefId
) -> Vec<Item>
[src]

pub(in clean::auto_trait) fn get_lifetime(
    &self,
    region: Region<'_>,
    names_map: &FxHashMap<String, Lifetime>
) -> Lifetime
[src]

pub(in clean::auto_trait) fn region_name(
    &self,
    region: Region<'_>
) -> Option<String>
[src]

pub(in clean::auto_trait) fn handle_lifetimes<'cx>(
    &self,
    regions: &RegionConstraintData<'cx>,
    names_map: &FxHashMap<String, Lifetime>
) -> Vec<WherePredicate>
[src]

pub(in clean::auto_trait) fn extract_for_generics(
    &self,
    tcx: TyCtxt<'tcx>,
    pred: Predicate<'tcx>
) -> FxHashSet<GenericParamDef>
[src]

pub(in clean::auto_trait) 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>
[src]

pub(in clean::auto_trait) fn param_env_to_generics(
    &self,
    tcx: TyCtxt<'tcx>,
    param_env_def_id: DefId,
    param_env: ParamEnv<'tcx>,
    existing_predicates: Vec<WherePredicate>,
    vid_to_region: FxHashMap<RegionVid, Region<'tcx>>
) -> Generics
[src]

pub(in clean::auto_trait) fn sort_where_predicates(
    &self,
    predicates: &mut Vec<WherePredicate>
)
[src]

pub(in clean::auto_trait) fn sort_where_bounds(
    &self,
    bounds: &mut Vec<GenericBound>
)
[src]

pub(in clean::auto_trait) fn unstable_debug_sort<T: Debug>(
    &self,
    vec: &mut Vec<T>
)
[src]

pub(in clean::auto_trait) fn is_fn_ty(
    &self,
    tcx: TyCtxt<'_>,
    ty: &Type
) -> bool
[src]

Auto Trait Implementations

impl<'a, 'tcx> !RefUnwindSafe for AutoTraitFinder<'a, 'tcx>

impl<'a, 'tcx> !Send for AutoTraitFinder<'a, 'tcx>

impl<'a, 'tcx> !Sync for AutoTraitFinder<'a, 'tcx>

impl<'a, 'tcx> Unpin for AutoTraitFinder<'a, 'tcx> where
    'tcx: 'a, 

impl<'a, 'tcx> !UnwindSafe for AutoTraitFinder<'a, 'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

impl<T> WithConstness for T[src]