return true if and only if there are integer fields overlapping with pointer fields in this type
See Implementation
return true if and only if there are integer fields overlapping with pointer fields in this type