Enum PtrProxyHint 

pub enum PtrProxyHint {
    FieldOnly,
    Other,
}

Coarse classification of a value’s points-to set, used by consumers (Hierarchy: resource lifecycle) that don’t need full set membership but do need to know “is this value’s heap identity a field of some other value, or does it stand on its own?”.

The classifier is intentionally narrow: only PtrProxyHint::FieldOnly is interesting to today’s consumers, every other shape (empty, root, Top, mixed) collapses to PtrProxyHint::Other so the consumer keeps its existing behaviour.

Variants

FieldOnly

Every member of the points-to set is an AbsLoc::Field. The value is a sub-object alias, e.g. m in m := c.mu.

Other

Anything else: the set is empty, contains a root location (AbsLoc::SelfParam / AbsLoc::Param / AbsLoc::Alloc), contains AbsLoc::Top, or mixes fields with roots. Consumers fall back to their default behaviour.

Trait Implementations

impl Clone for PtrProxyHint

fn clone(&self) -> PtrProxyHint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PtrProxyHint

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

Formats the value using the given formatter.

impl Hash for PtrProxyHint

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 PtrProxyHint

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

impl Eq for PtrProxyHint

impl StructuralPartialEq for PtrProxyHint