Trait rustc_middle::ty::new::Ty

pub trait Ty<I>
where
    I: Interner<Ty = Self>,
{
    // Required method
    fn new_anon_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: BoundVar
    ) -> Self;
}

Required Methods

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

Object Safety

This trait is not object safe.

Implementors

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