omochimetaru 7/7/2020 6:20 AM

Result<Output, Never> と Output って意味的には狭まってるけど、型空間的には広がってますね

6:21 AM

Output は任意の Result<A, B> を包含するから。