omochimetaru 1/28/2020 8:10 AM

least common conformanceって簡単に求められるのかなあ。 (edited)

8:11 AM

least common supertypeの推論ロジックはあるんですけどね。