pub fn is_pointer_sub(callee: Option<DefId>) -> bool
Any pointer sub (element or byte): a positive count, base - count * stride.
sub
base - count * stride