Function expr_is_address 

pub fn expr_is_address<'gcx>(gcx: Gcx<'gcx>, expr: &Expr<'gcx>) -> bool

True when expr’s type-checked static type is address / address payable.