Trait rustc_type_ir::new::Const

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementors