removed unnecessary nondiscard #589

Closed jhwangbo closed 1 month ago