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<'_, '_>

impl TypeVisitable for CanonicalTy

fn visit_with<__V: TypeVisitor>( &self, __visitor: &mut __V, ) -> ControlFlow<__V::BreakTy>

fn has_escaping_bvars(&self) -> bool

fn has_escaping_bvars_at_or_above(&self, binder: DebruijnIndex) -> bool

Returns true if self has any late-bound vars that are either bound by binder or bound by some binder outside of binder. If binder is ty::INNERMOST, this indicates whether there are any late-bound vars that appear free.

fn fvars(&self) -> FxHashSet<Name>

Returns the set of all free variables. For example, Vec<i32[n]>{v : v > m} returns {n, m}.

fn early_params(&self) -> FxHashSet<EarlyReftParam>

fn redundant_bvars(&self) -> FxHashSet<BoundVar>

Gives the indices of the provided bvars which: