pub fn raw_recv_kind(node: &AIRNode) -> Option<&str>Expand description
The raw recv_kind annotation tag the checker stamped on a desugared method
call node, if any.
Returns the verbatim tag string ("List", "User:Counter",
"Primitive:Int", …) without stripping any prefix, or None when the node
carries no recv_kind stamp. This is the unprefixed sibling of
primitive_recv_kind / trait_bound_recv_kind, used where a recogniser
needs to distinguish its own receiver category from any other stamped one
(e.g. the built-in List recogniser ruling out a same-named user-record
method).