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