Struct BoundedTyvar 

pub struct BoundedTyvar<'a> {
    pub origin: TyvarOrigin<'a>,
    pub bound: TypeBound<'a>,
}

boundedtyvar_e in the spec

Because we use a de Bruijn representation of type indices, this is only the type_bound - which variable it is binding is implicit in its position in the list.

Fields

origin: TyvarOrigin<'a>

This is not important for typechecking, but is used to keep track of where a type variable originated from in order to decide on a canonical name to be used in bindings generation.

bound: TypeBound<'a>

Implementations

impl<'a> BoundedTyvar<'a>

pub fn new(bound: TypeBound<'a>) -> Self

pub fn push_origin(&self, x: Option<ImportExport<'a>>) -> Self

Trait Implementations

impl<'a> Clone for BoundedTyvar<'a>

fn clone(&self) -> BoundedTyvar<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Debug for BoundedTyvar<'a>

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

Formats the value using the given formatter.