Home
last modified time | relevance | path

Searched refs:IsCompatibleTypeArgument (Results 1 – 4 of 4) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/ets/
DtypeRelationContext.cpp162 if (!checker_->IsCompatibleTypeArgument(typeParam->AsETSTypeParameter(), typeArgTypes[ix], in InstantiateType()
Dfunction_helpers.h143 if (!checker->IsCompatibleTypeArgument(sigParams[ix]->AsETSTypeParameter(), instArgs[ix], in BuildExplicitSubstitutionForArguments()
Dfunction.cpp71 bool ETSChecker::IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, in IsCompatibleTypeArgument() function in panda::es2panda::checker::ETSChecker
98 if (!IsCompatibleTypeArgument(tparam, argumentType, substitution)) { in EnhanceSubstitutionForType()
/arkcompiler/ets_frontend/ets2panda/checker/
DETSchecker.h288 …bool IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, const Substitution …