Выражение assert(E) - это constant subexpression, если
NDEBUG определяется в точке assert последнего определения или переопределения, или
E contextually converted to bool - константное подвыражение, возвращающее значение true.