Searched refs:typeArgument (Results 1 - 5 of 5) sorted by relevance
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| H A D | genericBridgesLowering.cpp | 257 checker::Type *const typeArgument = typeArguments[i]; in ProcessClassDefinition() member in ark::es2panda::compiler::checker
261 checker->EmplaceSubstituted(substitutions.derivedSubstitutions, typeParameter, typeArgument); in ProcessClassDefinition()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | function.cpp | 64 bool ETSChecker::IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, in IsCompatibleTypeArgument() argument
67 if (typeArgument->IsWildcardType()) { in IsCompatibleTypeArgument()
70 ASSERT(IsReferenceType(typeArgument) || typeArgument->IsETSVoidType()); in IsCompatibleTypeArgument()
73 if (typeArgument->IsETSVoidType()) { in IsCompatibleTypeArgument()
75 } else if (typeArgument->IsETSFunctionType()) { in IsCompatibleTypeArgument()
78 this->FunctionTypeToFunctionalInterfaceType(typeArgument->AsETSFunctionType()->CallSignatures().front())); in IsCompatibleTypeArgument()
80 retVal = Relation()->IsSupertypeOf(constraint, typeArgument); in IsCompatibleTypeArgument()
|
| H A D | helpers.cpp | 1189 for (const auto typeArgument : objectType->TypeArguments()) { in CheckExpandedType()
1190 CheckExpandedType(typeArgument, parametersNeedToBeBoxed, needToBeBoxed); in CheckExpandedType()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsObjectType.cpp | 829 for (auto *const typeArgument : TypeArguments()) { in Instantiate()
830 copiedType->TypeArguments().emplace_back(typeArgument->Instantiate(allocator, relation, globalTypes)); in Instantiate()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSchecker.h | 363 bool IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, const Substitution *substitution);
|
Completed in 12 milliseconds