Enum ResolvedBoundVar 

pub enum ResolvedBoundVar<'a> {
    Definite {
        final_bound_var: u32,
        ty: Defined<'a>,
    },
    Resource {
        rtidx: u32,
    },
}

Unlike [tv::ResolvedTyvar], which is mostly concerned with free variables and leaves bound variables alone, this tells us the most information that we have at codegen time for a top level bound variable.

Variants

Definite

Fields

final_bound_var: u32

The final variable offset (relative to s.var_offset) that we followed to get to this definite type, used occasionally to name things.

ty: Defined<'a>

The actual definite type that this resolved to

Resource

Fields

rtidx: u32

A resource-type index. Currently a resource-type index is the same as the de Bruijn index of the tyvar that introduced the resource type, but is never affected by e.g. s.var_offset.