Struct NonStrictContext 

pub struct NonStrictContext { /* private fields */ }

Implementations

impl NonStrictContext

pub fn add_context(&mut self, def: &DefId, ty: TypeId)

impl NonStrictContext

pub fn find_def_id(&self, def: &DefId) -> Option<TypeId>

pub fn disjunction( builtin_types: *mut BuiltinTypes, arena: *mut TypeArena, left: &NonStrictContext, right: &NonStrictContext, ) -> NonStrictContext

pub fn conjunction( builtin_types: *mut BuiltinTypes, arena: *mut TypeArena, left: &NonStrictContext, right: &NonStrictContext, ) -> NonStrictContext

impl NonStrictContext

pub fn find_def(&self, d: *const Def) -> Option<TypeId>

impl NonStrictContext

pub fn non_strict_context() -> Self

impl NonStrictContext

pub fn non_strict_context_non_strict_context( &mut self, _other: &NonStrictContext, ) -> Self

impl NonStrictContext

pub fn non_strict_context_non_strict_context_mut( &mut self, other: NonStrictContext, ) -> Self

impl NonStrictContext

pub fn operator_assign(&mut self, _other: &NonStrictContext) -> &mut Self

In C++, this method is deleted to prevent copying. In Rust, NonStrictContext does not implement Clone or Copy, so an explicit assignment operator is not provided.

impl NonStrictContext

pub fn operator_assign_mut(&mut self, other: NonStrictContext) -> &mut Self

impl NonStrictContext

pub fn remove(&mut self, def: &DefId) -> bool

Trait Implementations

impl Clone for NonStrictContext

fn clone(&self) -> NonStrictContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NonStrictContext

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

Formats the value using the given formatter.

impl Default for NonStrictContext

fn default() -> Self

Returns the “default value” for a type.