Enum CanonicalTy

pub enum CanonicalTy {
    Constr(CanonicalConstrTy),
    Exists(Binder<CanonicalConstrTy>),
}

A (shallowly) canonicalized type. This can be either of the form {T | p} or ∃v0,…,vn. {T | p}, where T doesnt have any (shallow) existential or constraint types.

When canonicalizing a type without a constraint type, p will be Expr::tt().

Variants

Constr(CanonicalConstrTy)

A type of the form {T | p}

Exists(Binder<CanonicalConstrTy>)

A type of the form ∃v0,…,vn. {T | p}

Implementations

impl CanonicalTy

pub fn to_ty(&self) -> Ty

pub fn as_ty_or_base(&self) -> TyOrBase

Trait Implementations

impl Debug for CanonicalTy

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Pretty for CanonicalTy

fn fmt(&self, cx: &PrettyCx<'_>, f: &mut Formatter<'_>) -> Result

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_>