Closed pleroy closed 8 months ago
An SPRK can be viewed as an SRKN, so we need to check for both kinds of ODE at deserialization time.
Also remove base::noreturn, which hid the bug for a year, and use std::abort instead.
base::noreturn
std::abort
An SPRK can be viewed as an SRKN, so we need to check for both kinds of ODE at deserialization time.
Also remove
base::noreturn
, which hid the bug for a year, and usestd::abort
instead.