Struct RelationCacheKey 

pub struct RelationCacheKey {
    pub source: TypeId,
    pub target: TypeId,
    pub relation: u8,
    pub flags: u16,
    pub any_mode: u8,
}

Cache key for type relation queries (subtype, assignability, etc.).

This key includes Lawyer-layer configuration flags to ensure that results computed under different rules (strict vs non-strict) don’t contaminate each other.

Fields

• source: The source type being compared
• target: The target type being compared
• relation: Distinguishes between different relation types (0 = subtype, 1 = assignability, etc.)
• flags: Bitmask for boolean compiler options (u16 to support current and future flags):
  • bit 0: strict_null_checks
  • bit 1: strict_function_types
  • bit 2: exact_optional_property_types
  • bit 3: no_unchecked_indexed_access
  • bit 4: disable_method_bivariance (Sound Mode)
  • bit 5: allow_void_return
  • bit 6: allow_bivariant_rest
  • bit 7: allow_bivariant_param_count
  • bits 8-15: Reserved for future flags (strict_any_propagation, strict_structural_checking, etc.)
• any_mode: Controls how any is treated (0 = All, 1 = TopLevelOnly)

Fields

source: TypeId

target: TypeId

relation: u8

flags: u16

any_mode: u8

Implementations

impl RelationCacheKey

pub const SUBTYPE: u8 = 0

Relation type constants to prevent magic number errors.

pub const ASSIGNABLE: u8 = 1

pub const IDENTICAL: u8 = 2

pub const FLAG_STRICT_NULL_CHECKS: u16

pub const FLAG_STRICT_FUNCTION_TYPES: u16

pub const FLAG_EXACT_OPTIONAL_PROPERTY_TYPES: u16

pub const FLAG_NO_UNCHECKED_INDEXED_ACCESS: u16

pub const FLAG_DISABLE_METHOD_BIVARIANCE: u16

pub const FLAG_ALLOW_VOID_RETURN: u16

pub const FLAG_ALLOW_BIVARIANT_REST: u16

pub const FLAG_ALLOW_BIVARIANT_PARAM_COUNT: u16

pub const fn subtype( source: TypeId, target: TypeId, flags: u16, any_mode: u8, ) -> Self

Create a new cache key for subtype checking.

pub const fn assignability( source: TypeId, target: TypeId, flags: u16, any_mode: u8, ) -> Self

Create a new cache key for assignability checking.

Trait Implementations

impl Clone for RelationCacheKey

fn clone(&self) -> RelationCacheKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RelationCacheKey

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

Formats the value using the given formatter.

impl Hash for RelationCacheKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RelationCacheKey

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

impl Eq for RelationCacheKey

impl StructuralPartialEq for RelationCacheKey