Struct Anyification 

pub struct Anyification {
    pub normalization_too_complex: bool,
    /* private fields */
}

Fields

normalization_too_complex: bool

Implementations

impl Anyification

pub fn anyification_type_arena_not_null_scope_not_null_builtin_types_internal_error_reporter_type_id_type_pack_id( arena: *mut TypeArena, scope: *mut Scope, builtin_types: *mut BuiltinTypes, ice_handler: *mut InternalErrorReporter, any_type: TypeId, any_type_pack: TypePackId, ) -> Self

pub fn substitute_type_id(&mut self, ty: TypeId) -> Option<TypeId>

pub fn substitute_type_pack_id(&mut self, tp: TypePackId) -> Option<TypePackId>

impl Anyification

pub fn anyification_type_arena_scope_ptr_not_null_builtin_types_internal_error_reporter_type_id_type_pack_id( arena: *mut TypeArena, scope: &ScopePtr, builtin_types: *mut BuiltinTypes, ice_handler: *mut InternalErrorReporter, any_type: TypeId, any_type_pack: TypePackId, ) -> Self

impl Anyification

pub fn clean_type_id(&mut self, ty: TypeId) -> TypeId

impl Anyification

pub fn clean_type_pack_id(&mut self, tp: TypePackId) -> TypePackId

impl Anyification

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

impl Anyification

pub fn ignore_children_type_pack_id(&mut self, ty: TypePackId) -> bool

impl Anyification

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

impl Anyification

pub fn is_dirty_type_pack_id(&mut self, tp: TypePackId) -> bool

bool Anyification::isDirty(TypePackId tp) (Anyification.cpp:54-62).

Trait Implementations

impl Clone for Anyification

fn clone(&self) -> Anyification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Anyification

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

Formats the value using the given formatter.