Type Alias PlaceholderType 

pub type PlaceholderType = Placeholder<BoundTy>;

Aliased Type

pub struct PlaceholderType {
    pub universe: UniverseIndex,
    pub bound: BoundTy,
}

Fields

universe: UniverseIndex

bound: BoundTy

Trait Implementations

impl<'tcx> Display for PlaceholderType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Lift<TyCtxt<'tcx>> for PlaceholderType

type Lifted = Placeholder<BoundTy>

fn lift_to_interner(self, _: TyCtxt<'tcx>) -> Option<Self>

impl<'tcx> PlaceholderLike<TyCtxt<'tcx>> for PlaceholderType

type Bound = BoundTy

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Self

fn new(ui: UniverseIndex, bound: BoundTy) -> Self

fn new_anon(ui: UniverseIndex, var: BoundVar) -> Self

impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for PlaceholderType

fn print(&self, p: &mut P) -> Result<(), PrintError>

impl<'tcx> TypeFoldable<TyCtxt<'tcx>> for PlaceholderType

fn try_fold_with<F: FallibleTypeFolder<TyCtxt<'tcx>>>( self, _: &mut F, ) -> Result<Self, F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F: TypeFolder<TyCtxt<'tcx>>>(self, _: &mut F) -> Self

The entry point for folding. To fold a value t with a folder f call: t.fold_with(f).

impl<'tcx> TypeVisitable<TyCtxt<'tcx>> for PlaceholderType

fn visit_with<F: TypeVisitor<TyCtxt<'tcx>>>(&self, _: &mut F) -> F::Result

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 16 bytes