推論される型が定数の必要な型と一致していない定数の代入を報告します。 必要な定数の型は RBS 型シグネチャーから取得されます。