જ્યારે પ્રકારની શૂન્યતા