in fatal/debug/assume.h [536:546]
void assume_if(TCondition &&condition, TWhenTrue &&when_true) {
if (condition.eval() && !when_true.eval()) {
print_assumptions(
FATAL_LOG(FATAL) << "expected second assumption to be true since first"
" is",
std::forward<TCondition>(condition),
std::forward<TWhenTrue>(when_true)
);
std::abort();
}
}