Enum OccursCheck 

pub enum OccursCheck {
    Always,
    TrustedAcyclic,
}

Whether the unifier runs the occurs check when binding a variable.

Variants

Always

Always run the occurs check, rejecting bindings that build cyclic terms (the safe default).

TrustedAcyclic

Skip the occurs check, trusting that terms stay acyclic.

Trait Implementations

impl Clone for OccursCheck

fn clone(&self) -> OccursCheck

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for OccursCheck

impl Debug for OccursCheck

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

Formats the value using the given formatter.

impl Default for OccursCheck

fn default() -> OccursCheck

Returns the “default value” for a type.

impl Eq for OccursCheck

impl PartialEq for OccursCheck

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for OccursCheck