適切な expression が書けないよの例

return.cpp

auto f(tag_type t) -> val {
  switch (t) {
    case A: return a();
    case B: return b();
    ...
    default: assert(false); /* return ??? */
  }
  assert(false);
  /* return ??? */
}

enum class NoValue {};

auto for_unevaluate_context() -> NoValue {
  /* return ??? */
}