Lines Matching refs:checker_
181 checker_->LogTypeError("Initializer must be able to complete normally.", node->Start());
192 checker_->LogTypeError("Unreachable statement.", node->Start());
241 const auto isVoid = returnType->IsETSVoidType() || returnType == checker_->GlobalVoidType();
247 isPromiseVoid = asAsync->GetPromiseTypeArg() == checker_->GlobalETSUndefinedType();
250 if (status_ == LivenessStatus::ALIVE && !isVoid && !isPromiseVoid && !checker_->IsAsyncImplMethod(methodDef)) {
252 checker_->LogTypeError("Function with a non void return type must return a value.", func->Id()->Start());
257 checker_->LogTypeError("Not all code paths return a value.", func->Id()->Start());
377 if (callExpr->Signature()->ReturnType() == checker_->GetGlobalTypesHolder()->GlobalBuiltinNeverType()) {
409 checker_->Warning("Possible fall-through into case", caseClause->Start());
461 checker_->Warning("Finally clause cannot complete normally", tryStmt->FinallyBlock()->Start());