Struct SubtypingUnifier 

pub struct SubtypingUnifier { /* private fields */ }

Implementations

impl SubtypingUnifier

pub fn can_be_unified(&self, ty: TypeId) -> bool

impl SubtypingUnifier

pub fn dispatch_constraints( &self, constraint: *const Constraint, assumed_constraints: Vec<ConstraintV>, ) -> Result

impl SubtypingUnifier

pub fn dispatch_one_constraint( &self, constraint: *const Constraint, cv: &ConstraintV, upper_bound_contributors: &mut UpperBounds, ) -> (UnifyResult, bool)

impl SubtypingUnifier

pub fn occurs_check_deprecated( &self, needle: TypePackId, haystack: TypePackId, ) -> OccursCheckResult

impl SubtypingUnifier

pub fn subtyping_unifier( arena: *mut TypeArena, builtin_types: *mut BuiltinTypes, reporter: *mut InternalErrorReporter, ) -> Self

impl SubtypingUnifier

pub fn occurs_check_DEPRECATED( &self, needle: TypePackId, haystack: TypePackId, ) -> OccursCheckResult

pub fn canBeUnified(&self, ty: TypeId) -> bool

Trait Implementations

impl Clone for SubtypingUnifier

fn clone(&self) -> SubtypingUnifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubtypingUnifier

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

Formats the value using the given formatter.