Skip to main content

ConstraintSet

luaur_analysis::records::constraint_set

Struct ConstraintSet

pub struct ConstraintSet {
    pub root_scope: *mut Scope,
    pub constraints: Vec<ConstraintPtr>,
    pub free_types: TypeIds,
    pub scope_to_function: DenseHashMap<*mut Scope, TypeId>,
    pub errors: Vec<TypeError>,
}

Fields§

§root_scope: *mut Scope§constraints: Vec<ConstraintPtr>§free_types: TypeIds§scope_to_function: DenseHashMap<*mut Scope, TypeId>§errors: Vec<TypeError>

Trait Implementations§

impl Debug for ConstraintSet

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl !Send for ConstraintSet

impl !Sync for ConstraintSet

impl Freeze for ConstraintSet

impl RefUnwindSafe for ConstraintSet

impl Unpin for ConstraintSet

impl UnsafeUnpin for ConstraintSet

impl UnwindSafe for ConstraintSet

Blanket Implementations§

impl<T> Any for T
where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T
where T: ?Sized,

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T
where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for T
where U: From<T>,

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for T
where U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.