Trait rustc_middle::ty::new::Const

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

Required Methods

fn new_anon_bound( interner: I, debruijn: DebruijnIndex, var: BoundVar, ty: <I as Interner>::Ty ) -> Self

Object Safety

This trait is not object safe.

Implementors

impl<'tcx> Const<TyCtxt<'tcx>> for Const<'tcx>