Trait rustc_type_ir::inherent::Const

pub trait Const<I: Interner<Const = Self>>: Copy + DebugWithInfcx<I> + Hash + Eq + Into<I::GenericArg> + Into<I::Term> + IntoKind<Kind = ConstKind<I>> + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags {
    // Required methods
    fn new_infer(interner: I, var: InferConst, ty: I::Ty) -> Self;
    fn new_var(interner: I, var: ConstVid, ty: I::Ty) -> Self;
    fn new_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: I::BoundConst,
        ty: I::Ty,
    ) -> Self;
    fn new_anon_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: BoundVar,
        ty: I::Ty,
    ) -> Self;
    fn new_unevaluated(interner: I, uv: UnevaluatedConst<I>, ty: I::Ty) -> Self;
    fn ty(self) -> I::Ty;
}

Required Methods

fn new_infer(interner: I, var: InferConst, ty: I::Ty) -> Self

fn new_var(interner: I, var: ConstVid, ty: I::Ty) -> Self

fn new_bound( interner: I, debruijn: DebruijnIndex, var: I::BoundConst, ty: I::Ty, ) -> Self

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

fn new_unevaluated(interner: I, uv: UnevaluatedConst<I>, ty: I::Ty) -> Self

fn ty(self) -> I::Ty

Object Safety

This trait is not object safe.

Implementors