Skip to main content

## PlaceholderType

# Type Alias PlaceholderType

Source

    pub type PlaceholderType<I> = Placeholder<I, BoundTy<I>>;

## Aliased Type§

    pub struct PlaceholderType<I> {
        pub universe: UniverseIndex,
        pub bound: BoundTy<I>,
        _tcx: PhantomData<fn() -> I>,
    }

## Fields§

§`universe: UniverseIndex`§`bound: BoundTy<I>`§`_tcx: PhantomData<fn() -> I>`

## Implementations§

Source§

### impl<I: Interner> PlaceholderType<I>

Source

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

Source

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

Source

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

Source

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

Source

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

## Layout§

Note: Encountered an error during type layout; the type failed to be normalized.