void assume_if()

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();
  }
}