Struct RelationPolicy 

pub struct RelationPolicy {
    pub flags: u16,
    pub strict_subtype_checking: bool,
    pub strict_any_propagation: bool,
    pub any_propagation_mode: AnyPropagationMode,
}

Policy knobs for relation checks.

Fields

flags: u16

Packed relation flags (same layout as RelationCacheKey.flags).

strict_subtype_checking: bool

Enables additional strictness in the compatibility layer.

strict_any_propagation: bool

Disables any-suppression in compatibility fast paths.

any_propagation_mode: AnyPropagationMode

Controls how SubtypeChecker treats any.

Implementations

impl RelationPolicy

pub const fn from_flags(flags: u16) -> Self

pub const fn with_strict_subtype_checking(self, strict: bool) -> Self

pub const fn with_strict_any_propagation(self, strict: bool) -> Self

pub const fn with_any_propagation_mode(self, mode: AnyPropagationMode) -> Self

Trait Implementations

impl Clone for RelationPolicy

fn clone(&self) -> RelationPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelationPolicy

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

Formats the value using the given formatter.

impl Default for RelationPolicy

fn default() -> Self

Returns the “default value” for a type.

impl PartialEq for RelationPolicy

fn eq(&self, other: &RelationPolicy) -> 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 Copy for RelationPolicy

impl Eq for RelationPolicy

impl StructuralPartialEq for RelationPolicy