## PlaceholderType

# Type Alias PlaceholderType

Source

    pub type PlaceholderType = Placeholder<BoundTy>;

## Aliased Type§

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

## Fields§

§`universe: UniverseIndex`§`bound: BoundTy`

## Trait Implementations§

Source§

### impl<'tcx> Display for PlaceholderType

Source§

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

Formats the value using the given formatter. Read more
Source§

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

Source§

#### type Lifted = Placeholder<BoundTy>

Source§

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

Source§

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

Source§

#### type Bound = BoundTy

Source§

#### fn universe(self) -> UniverseIndex

Source§

#### fn var(self) -> BoundVar

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

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

Source§

#### 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)`. Read more
Source§

#### 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)`. Read more
Source§

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

Source§

#### 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)`. Read more

## 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