Trait PlaceholderLike

pub trait PlaceholderLike<I>:
    Copy
    + Debug
    + Hash
    + Eq
where
    I: Interner,
{
    type Bound: BoundVarLike<I>;

    // Required methods
    fn universe(self) -> UniverseIndex;
    fn var(self) -> BoundVar;
    fn new(ui: UniverseIndex, bound: Self::Bound) -> Self;
    fn new_anon(ui: UniverseIndex, var: BoundVar) -> Self;
    fn with_updated_universe(self, ui: UniverseIndex) -> Self;
}

Common capabilities of placeholder kinds

Required Associated Types

type Bound: BoundVarLike<I>

Required Methods

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

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

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'tcx> PlaceholderLike<TyCtxt<'tcx>> for Placeholder<BoundRegion>

type Bound = BoundRegion

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundRegion>

fn new(ui: UniverseIndex, bound: BoundRegion) -> Placeholder<BoundRegion>

fn new_anon(ui: UniverseIndex, var: BoundVar) -> Placeholder<BoundRegion>

impl<'tcx> PlaceholderLike<TyCtxt<'tcx>> for Placeholder<BoundTy>

type Bound = BoundTy

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundTy>

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

fn new_anon(ui: UniverseIndex, var: BoundVar) -> Placeholder<BoundTy>

impl<'tcx> PlaceholderLike<TyCtxt<'tcx>> for Placeholder<BoundVar>

type Bound = BoundVar

fn universe(self) -> UniverseIndex

fn var(self) -> BoundVar

fn with_updated_universe(self, ui: UniverseIndex) -> Placeholder<BoundVar>

fn new(ui: UniverseIndex, bound: BoundVar) -> Placeholder<BoundVar>

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

Implementors