引数が[[Never型 (Python)|Never型]]の場合にエラーとなるassertion関数。