Struct TypedPropertyMemberAccessFact 

pub struct TypedPropertyMemberAccessFact {
    pub type_name: String,
    pub property_path: String,
    pub member: String,
}

A member access reached through a typed property hop that the extraction layer could not resolve locally.

constructor(private opts: Opts) { ... this.opts.c.optM() } where Opts is NOT declared in this file emits TypedPropertyMemberAccessFact { type_name: "Opts", property_path: "c", member: "optM" }. The analyze layer resolves type_name through the consumer’s imports to the declaring module, walks property_path through that module’s type_member_types, resolves the terminal type name through the declaring module’s own imports, and credits member on the resolved class (gated on the export actually being a class with members). See issue #1785.

Fields

type_name: String

Local (usually imported) named-type symbol the receiver is typed by.

property_path: String

Remaining dotted property segments between the typed binding and the final member (e.g. "c" for this.opts.c.optM()).

member: String

Member accessed on the terminal property’s instance.

Trait Implementations

impl Clone for TypedPropertyMemberAccessFact

fn clone(&self) -> TypedPropertyMemberAccessFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedPropertyMemberAccessFact

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

Formats the value using the given formatter.

impl<'__de> Decode<'__de> for TypedPropertyMemberAccessFact

where '__de:,

impl Encode for TypedPropertyMemberAccessFact

impl Eq for TypedPropertyMemberAccessFact

impl PartialEq for TypedPropertyMemberAccessFact

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypedPropertyMemberAccessFact