Making sure that failing cases actually throw