Function InferredBooleanNode

testing/testrunner/coverage_index.cc:88–98

}

bool InferredBooleanNode(const CheckedExpr& checked_expr,
                         const NavigableProtoAstNode& node) {
  int64_t node_id = node.expr()->id();
  const auto* checker_type = FindCheckerType(checked_expr, node_id);
  if (checker_type != nullptr) {
    return checker_type->has_primitive() &&
           checker_type->primitive() == Type::BOOL;
  }

  return false;
}

void TraverseAndCalculateCoverage(
    const CheckedExpr& checked_expr, const NavigableProtoAstNode& node,