omochimetaru 6/28/2017 2:52 AM

@t.ae NeverはbottomTypeだから Never is T でなんも問題ない

2:52 AM

Neverはあらゆる型であるわけ