Module receiver_facts 

Semantic analysis, symbol extraction, and type inference. Receiver facts for trust-bounded method completion. Receiver facts for trust-bounded method completion.

This module classifies method-call receivers such as $self->method, Class->new, $hash{slot}->method, and $array[0]->method without changing completion behavior. It converts existing rich [TypeFact] values into a receiver-shaped fact that completion can later use for source-backed ranking receipts.

Structs

ReceiverFact

Trust-bounded evidence about a method-call receiver.

ReceiverFactContext

Context used while extracting a receiver fact.

Enums

ReceiverFactFreshness

Freshness of the evidence used for a receiver fact.

ReceiverFallbackState

Fallback posture completion must preserve for this receiver fact.

ReceiverKind

Receiver shape recognized for a method call.

Functions

infer_receiver_fact

Extracts a receiver fact from an expression used as a method-call receiver.

receiver_fact_for_method_call

Extracts a receiver fact from a method-call node.