Function receiver_is_address 

fn receiver_is_address<'hir>(gcx: Gcx<'hir>, expr: &'hir Expr<'hir>) -> 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.