Function receiver_is_address 

fn receiver_is_address(hir: &Hir<'_>, expr: &Expr<'_>) -> bool

Returns true if expr is statically typed as address/address payable. Contract-typed receivers are intentionally rejected: .transfer / .send on them dispatch to a user-defined member, not the EVM opcode.