Lines Matching refs:checker
19 #include <typescript/checker.h>
44 static bool IsValidConstAssertionArgument(checker::Checker *checker, const ir::AstNode *arg)
68 binder::ScopeFindResult result = checker->Scope()->Find(memberExpr->Object()->AsIdentifier()->Name());
69 constexpr auto enumLiteralType = checker::EnumLiteralType::EnumLiteralTypeKind::LITERAL;
70 if (result.variable && result.variable->TsType()->HasTypeFlag(checker::TypeFlag::ENUM_LITERAL) &&
82 checker::Type *TSAsExpression::Check(checker::Checker *checker) const
85 auto context = checker::SavedCheckerContext(checker, checker::CheckerStatus::IN_CONST_CONTEXT);
86 checker::Type *exprType = expression_->Check(checker);
88 if (!IsValidConstAssertionArgument(checker, expression_)) {
89 checker->ThrowTypeError(
98 auto context = checker::SavedCheckerContext(checker, checker::CheckerStatus::NO_OPTS);
100 typeAnnotation_->Check(checker);
101 checker::Type *exprType = checker->GetBaseTypeOfLiteralType(expression_->Check(checker));
102 checker::Type *targetType = typeAnnotation_->AsTypeNode()->GetType(checker);
104 checker->IsTypeComparableTo(