and_thenにおける謎の暗黙変換

[onihusube]

std::error_code f();

bool g();

int main() {
  // 1. 通る
  harmony::invert(f())
    | and_then([](auto&&) { return g() ? std::optional<bool>{true} : std::nullopt; });

  // 2. 通らない
  harmony::invert(f())
    | and_then([](auto&&) { return harmony::to_either(g(), false); });
}

and_thenでは有効値は渡された関数で変換するが、無効値は推定した戻り値型のコンストラクタにその時点の無効値を渡すことで変換する。つまり、上記1ではint -> std::optional<bool>への変換が暗黙に行われており、結果は明らかに意図したものと異なる（無効値は意図せず有効値として次の処理に渡される）。

このことはおそらくor_elseでも起こる。もしかしたら他のところでも・・・

[onihusube]

うーんどうしよう・・・