その他のrecordの変更¶あまりにも細かいやつは紹介しなくていいとは思うのですが、実際書き始めると自分でも案外発見があったりしますので一応見ていきます。今までaggregate式でバリアントレコードの可変部分を書くときはdiscriminantはstaticである必要がありました。'C'));discriminantを実行時の値で指定するならこんな風にする必要がありました。場合をまとめようとすればひとつの式で書けませんでした。ひとつのaggregate式で済まないということは要素の指定漏れがあってもチェックされなくなるということでもあります。2020では可変部分を書くときもdiscriminantを実行時の値で指定できるようになりました。associationを使えませんでした。2020からは使えるようになりました。挟んだだけでエラーになるの情けないでしょう......。比較では両辺がconstrained、つまり型でdiscriminantが固定されていなければなりません。どちらで比較していいかわからなくなるからですね。確定させる必要があるからでしょうか。2005のときのAIを見てみましたが理由は簡単には読み取れそうにないです。discriminantで、まあ、ここまで前置きです。2020でin式はcase文のように複数の選択肢を続けて書けるようになりました。