三項演算子に void の式を突っ込めるのとか、なかなか愉快な仕様になっている (お前それ絶対 unit じゃなくて bottom のつもりで型付け規則用意したやろみたいな感じ)
n1570 の §6.5.15/3 あたりを見るといいです
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。