推論される型がパラメーターの必要な型と一致していないデフォルトメソッドとブロックパラメーターの代入を報告します。 必要なパラメーターの型は RBS 型シグネチャーから取得されます。