Trait rustc_middle::ty::inherent::Ty

pub trait Ty<I>: Copy + DebugWithInfcx<I> + Hash + Eq + Into<<I as Interner>::GenericArg> + Into<<I as Interner>::Term> + IntoKind<Kind = TyKind<I>> + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags
where
    I: Interner<Ty = 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;
}

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

impl<'tcx> Ty<TyCtxt<'tcx>> for Ty<'tcx>