template <typename T, typename U, class Enable = void>

struct CheckedDivOp

Defined at line 205 of file ../../zircon/third_party/ulib/safemath/include/safemath/checked_math_impl.h

Division just requires a check for a zero denominator or an invalid negation

on signed min/-1.