static
| 412 | |
| 413 | // static |
| 414 | TypePtr ConjunctExpr::resolveType(const std::vector<TypePtr>& argTypes) { |
| 415 | BOLT_CHECK_GT( |
| 416 | argTypes.size(), |
| 417 | 0, |
| 418 | "Conjunct expressions expect at least one argument, received: {}", |
| 419 | argTypes.size()); |
| 420 | |
| 421 | for (const auto& argType : argTypes) { |
| 422 | BOLT_CHECK( |
| 423 | argType->kind() == TypeKind::BOOLEAN || |
| 424 | argType->kind() == TypeKind::UNKNOWN, |
| 425 | "Conjunct expressions expect BOOLEAN or UNKNOWN arguments, received: {}", |
| 426 | argType->toString()); |
| 427 | } |
| 428 | |
| 429 | return BOOLEAN(); |
| 430 | } |
| 431 | |
| 432 | TypePtr ConjunctCallToSpecialForm::resolveType( |
| 433 | const std::vector<TypePtr>& argTypes) { |
nothing calls this directly
no test coverage detected