Optionalのケースがだめなのは面白いな。実際の (any P)? が nil のときに、動的な真の型が取り出せない (edited)

3:02 AM

Neverがボトムタイプだったら、そのときは Never: P として open できそうだけど