Home
last modified time | relevance | path

Searched refs:EnhanceSubstitutionForType (Results 1 - 4 of 4) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A Dfunction_helpers.h106 if (checker->EnhanceSubstitutionForType(sigInfo->typeParams, paramType, argType, substitution)) { in InferUntilFail()
136 if (!checker->EnhanceSubstitutionForType(sigInfo->typeParams, newTypeParam, dflt, substitution)) { in BuildImplicitSubstitutionForArguments()
143 !checker->EnhanceSubstitutionForType(sigInfo->typeParams, in BuildImplicitSubstitutionForArguments()
H A Dfunction.cpp142 res = EnhanceSubstitutionForType(typeParams, paramTypeArgs[j], in EnhanceSubstitutionForGenericType()
153 return EnhanceSubstitutionForType(typeParams, paramType->GetUnderlying(), GetReadonlyType(argumentType), in EnhanceSubstitutionForReadonly()
158 bool ETSChecker::EnhanceSubstitutionForType(const ArenaVector<Type *> &typeParams, Type *paramType, Type *argumentType, in EnhanceSubstitutionForType() function in ark::es2panda::checker::ETSChecker
206 return EnhanceSubstitutionForType(typeParams, ctype, argumentType, substitution) && in EnhanceSubstitutionForUnion()
224 if (!EnhanceSubstitutionForType(typeParams, pc, ac, substitution)) { in EnhanceSubstitutionForUnion()
232 if (!EnhanceSubstitutionForType(typeParams, pc, newArg, substitution)) { in EnhanceSubstitutionForUnion()
245 return EnhanceSubstitutionForType(typeParams, ptype, atype, substitution); in EnhanceSubstitutionForObject()
295 return EnhanceSubstitutionForType(typeParams, paramType->ElementType(), elementType, substitution); in EnhanceSubstitutionForArray()
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/
H A DetsFunctionType.cpp102 res &= relation->GetChecker()->AsETSChecker()->EnhanceSubstitutionForType( in ProcessSignatures()
107 res &= relation->GetChecker()->AsETSChecker()->EnhanceSubstitutionForType( in ProcessSignatures()
/arkcompiler/ets_frontend/ets2panda/checker/
H A DETSchecker.h373 [[nodiscard]] bool EnhanceSubstitutionForType(const ArenaVector<Type *> &typeParams, Type *paramType,

Completed in 7 milliseconds