Searched refs:typeArg (Results 1 - 5 of 5) sorted by relevance
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | typeRelationContext.cpp | 123 auto typeArg = typeParam->Substitute(relation, substitution); in CheckInstantiationConstraints() local
124 if (typeArg->IsWildcardType()) { in CheckInstantiationConstraints()
127 if (typeArg->IsTypeError()) { in CheckInstantiationConstraints()
130 ASSERT(typeArg->IsETSReferenceType() || typeArg->IsETSVoidType()); in CheckInstantiationConstraints()
132 if (!relation->IsAssignableTo(typeArg, constraint)) { in CheckInstantiationConstraints()
134 {"Type ", typeArg, " is not assignable to", " constraint type ", constraint}, pos); in CheckInstantiationConstraints()
|
| H A D | helpers.cpp | 2083 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typeArg) in EmplaceSubstituted() argument
2085 substitution->emplace(tparam, typeArg); in EmplaceSubstituted()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsObjectType.cpp | 716 auto *typeArg = typeArguments_[idx]; in IsGenericSupertypeOf() local
721 if (typeArg->IsWildcardType() || sourceTypeArg->IsWildcardType()) { in IsGenericSupertypeOf()
725 relation->IsSupertypeOf(typeArg, sourceTypeArg); in IsGenericSupertypeOf()
727 relation->IsSupertypeOf(sourceTypeArg, typeArg); in IsGenericSupertypeOf()
729 relation->IsIdenticalTo(typeArg, sourceTypeArg); in IsGenericSupertypeOf()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| H A D | lambdaLowering.cpp | 659 auto *typeArg = in CreateCallForLambdaClassInvoke() local
661 call->SetTypeParams(typeArg); in CreateCallForLambdaClassInvoke()
662 typeArg->SetParent(call); in CreateCallForLambdaClassInvoke()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSchecker.h | 372 static void EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typeArg);
|
Completed in 12 milliseconds