Struct InferenceVarData 

pub(crate) struct InferenceVarData<'db> {
    span: Span<'db>,
    bounds: InferenceVarBounds<'db>,
}

Fields

span: Span<'db>

bounds: InferenceVarBounds<'db>

Bounds on this variable suitable for its kind.

Implementations

impl<'db> InferenceVarData<'db>

fn new(span: Span<'db>, bounds: InferenceVarBounds<'db>) -> Self

pub fn new_perm(span: Span<'db>) -> Self

Create the data for a new permission inference variable.

pub fn new_ty(span: Span<'db>, perm: InferVarIndex) -> Self

Create the data for a new type inference variable. Requires the index perm of a corresponding permission variable.

pub fn span(&self) -> Span<'db>

Returns the span of code which triggered the inference variable to be created.

pub fn kind(&self) -> InferVarKind

Returns the kind of the inference variable.

pub fn red_perm_bound( &self, direction: Direction, ) -> Option<(RedPerm<'db>, ArcOrElse<'db>)>

Returns the upper or lower bounds on this permission variable.

Panics

If this is not a permission variable.

pub fn perm(&self) -> Option<InferVarIndex>

Returns the permission variable corresponding to this type variable. Returns None if this is a permission variable.

pub fn red_ty_bound( &self, direction: Direction, ) -> Option<(RedTy<'db>, ArcOrElse<'db>)>

Returns the lower or upper bound on this type variable, depending on direction.

Panics

If this is not a type variable.

pub fn set_red_perm_bound( &mut self, direction: Direction, red_perm: RedPerm<'db>, or_else: &dyn OrElse<'db>, )

Insert a red perm as a (lower|upper) bound. Returns Some(or_else.to_arc()) if this is a new (lower|upper) bound.

pub fn set_red_ty_bound( &mut self, direction: Direction, red_ty: RedTy<'db>, or_else: &dyn OrElse<'db>, )

Overwrite the lower or upper bounding red ty, depending on direction. Returns the to_arc’d version of or_else.

pub fn fallback(&mut self, db: &'db dyn Db)

If this inference variable is unbounded, apply a default type. This is invoked during Runtime::mark_complete

Trait Implementations

impl Serialize for InferenceVarData<'_>

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.