Struct PlaceNumcheck 

pub struct PlaceNumcheck {
    pub lax: Option<LaxRedefinition>,
    pub removed: bool,
}

NUMCHECK’s facts of a reference, fixed when compiled (compile::numcheck): under ZON(LAX), what its item may hold because of the item its record redefines; and whether the compiler removed the test where this reference reads the item, having found it always fails.

Fields

lax: Option<LaxRedefinition>

removed: bool

Trait Implementations

impl Clone for PlaceNumcheck

fn clone(&self) -> PlaceNumcheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PlaceNumcheck

impl Debug for PlaceNumcheck

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

Formats the value using the given formatter.

impl Decode for PlaceNumcheck

fn decode(r: &mut Reader<'_>) -> Result<PlaceNumcheck, ModuleError>

impl Default for PlaceNumcheck

fn default() -> PlaceNumcheck

Returns the “default value” for a type.

impl Encode for PlaceNumcheck

fn encode(&self, w: &mut Writer)

impl Eq for PlaceNumcheck

impl PartialEq for PlaceNumcheck

fn eq(&self, other: &PlaceNumcheck) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PlaceNumcheck