Yuta Saito 7/25/2021 10:02 AM

ORTでopen existentialできるか？と思ったけど制約付いてるっぽい

10:03 AM

ただ、5.3.2だとコンパイル通っちゃうw