Struct TyvarOrigin 

pub struct TyvarOrigin<'a> {
    pub path: Option<Vec<ImportExport<'a>>>,
}

An (optional) path through the imports/exports of a current component/context. Not in the spec; only used for BoundedTyvar::origin below.

Fields

path: Option<Vec<ImportExport<'a>>>

Note that the most recent (closest) element is last

Implementations

impl<'a> TyvarOrigin<'a>

pub fn new() -> Self

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

pub fn matches<I: Iterator<Item = &'a ImportExport<'a>>>(&self, path: I) -> bool

pub fn is_local<I: DoubleEndedIterator<Item = &'a ImportExport<'a>> + ExactSizeIterator<Item = &'a ImportExport<'a>>>( &self, path: I, ) -> Option<Vec<ImportExport<'a>>>

pub fn last_name(&self) -> Option<&'a str>

pub fn is_imported(&self) -> bool

Trait Implementations

impl<'a> Clone for TyvarOrigin<'a>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TyvarOrigin<'a>

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

Formats the value using the given formatter.

impl<'a> Default for TyvarOrigin<'a>

fn default() -> TyvarOrigin<'a>

Returns the “default value” for a type.

impl<'a> PartialEq for TyvarOrigin<'a>

fn eq(&self, other: &TyvarOrigin<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> StructuralPartialEq for TyvarOrigin<'a>