pub fn trait_bound_recv_kind(node: &AIRNode) -> Option<&str>Expand description
The receiver-kind annotation value, parsed into the bounding trait name.
Returns the trait name (e.g. "Equatable", "Comparable") when the node
carries a recv_kind = "TraitBound:<Trait>" metadata stamp, else None. The
checker stamps this on a method call whose receiver is a bounded type variable
(a.eq(b) inside eq_check[T: Equatable]), recording that the method
dispatches through that trait bound rather than a concrete type. The codegen
analogue of primitive_recv_kind.