Trait rustc_type_ir::inherent::Ty

pub trait Ty<I: Interner<Ty = Self>>: Copy + DebugWithInfcx<I> + Hash + Eq + Into<I::GenericArg> + Into<I::Term> + IntoKind<Kind = TyKind<I>> + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags {
    // Required methods
    fn new_anon_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: BoundVar
    ) -> Self;
    fn new_alias(interner: I, kind: AliasTyKind, alias_ty: AliasTy<I>) -> Self;
}

Required Methods

fn new_anon_bound(interner: I, debruijn: DebruijnIndex, var: BoundVar) -> Self

fn new_alias(interner: I, kind: AliasTyKind, alias_ty: AliasTy<I>) -> Self

Object Safety

This trait is not object safe.

Implementors