From b094f81dd7bddcff133fd068cd4ac86d5260869c Mon Sep 17 00:00:00 2001 From: Klimentieva Date: Fri, 25 Jul 2025 15:53:51 +0300 Subject: [PATCH] codecheck dev br Issue: https://gitee.com/openharmony/arkcompiler_ets_frontend/issues/ICOX7Y Change-Id: Ic306576127dfb59d82aeb45527af7bc72faf95bf Signed-off-by: Klimentieva --- ets2panda/checker/types/ets/etsFunctionType.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ets2panda/checker/types/ets/etsFunctionType.cpp b/ets2panda/checker/types/ets/etsFunctionType.cpp index 0e0be3910b..2a963cb737 100644 --- a/ets2panda/checker/types/ets/etsFunctionType.cpp +++ b/ets2panda/checker/types/ets/etsFunctionType.cpp @@ -84,8 +84,7 @@ static ETSObjectType *FunctionTypeToFunctionalInterfaceType(ETSChecker *checker, } auto substitution = Substitution {}; - ES2PANDA_ASSERT(functionN != nullptr); - ES2PANDA_ASSERT(nPosParams <= functionN->TypeArguments().size()); + ES2PANDA_ASSERT(functionN != nullptr && nPosParams <= functionN->TypeArguments().size()); for (size_t i = 0; i < nPosParams; i++) { substitution.emplace(functionN->TypeArguments()[i]->AsETSTypeParameter(), checker->MaybeBoxType(signature->Params()[i]->TsType())); -- Gitee