Omit buffer_slot_type_mismatch and use generic predicates to enforce