KCCC2512C-S

再定義項目又は被再定義項目が内部ブール項目のとき，両方の項目のサイズを同じにするか，又は再定義項目を小さくする必要があります。