Conditions of generic pointers