koher 4/16/2020 5:40 AM

throws E と -> E が区別されてるから

5:40 AM

tagged 的な側面もある。