Struct rustc_middle::ty::util::OpaqueTypeExpander[−][src]

struct OpaqueTypeExpander<'tcx> {
    seen_opaque_tys: FxHashSet<DefId>,
    expanded_cache: FxHashMap<(DefId, SubstsRef<'tcx>), Ty<'tcx>>,
    primary_def_id: Option<DefId>,
    found_recursion: bool,
    check_recursion: bool,
    tcx: TyCtxt<'tcx>,
}

Fields

seen_opaque_tys: FxHashSet<DefId>expanded_cache: FxHashMap<(DefId, SubstsRef<'tcx>), Ty<'tcx>>primary_def_id: Option<DefId>found_recursion: boolcheck_recursion: bool
Expand description

Whether or not to check for recursive opaque types. This is true when we’re explicitly checking for opaque type recursion, and ‘false’ otherwise to avoid unnecessary work.

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> OpaqueTypeExpander<'tcx>[src]

fn expand_opaque_ty(
    &mut self,
    def_id: DefId,
    substs: SubstsRef<'tcx>
) -> Option<Ty<'tcx>>[src]

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for OpaqueTypeExpander<'tcx>[src]

fn tcx(&self) -> TyCtxt<'tcx>[src]

fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx>[src]

fn fold_binder<T>(&mut self, t: Binder<'tcx, T>) -> Binder<'tcx, T> where
    T: TypeFoldable<'tcx>, [src]

fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>[src]

fn fold_const(&mut self, c: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>[src]

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for OpaqueTypeExpander<'tcx>

impl<'tcx> !Send for OpaqueTypeExpander<'tcx>

impl<'tcx> !Sync for OpaqueTypeExpander<'tcx>

impl<'tcx> Unpin for OpaqueTypeExpander<'tcx>

impl<'tcx> !UnwindSafe for OpaqueTypeExpander<'tcx>

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

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

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

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

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

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

pub fn from(t: T) -> T[src]

Performs the conversion.

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

pub fn into(self) -> U[src]

Performs the conversion.

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

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T[src]

pub fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>[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.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

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.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]