Home
last modified time | relevance | path

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

/arkcompiler/ets_frontend/ets2panda/checker/
H A DETSAnalyzer.cpp340 auto *const launchPromiseType = in Check() local
344 launchPromiseType->AddTypeFlag(checker::TypeFlag::GENERIC); in Check()
358 ASSERT(launchPromiseType->TypeArguments().size() == 1); in Check()
360 substitution, launchPromiseType->TypeArguments()[0]->AsETSTypeParameter()->GetOriginal(), exprType); in Check()
362 expr->SetTsType(launchPromiseType->Substitute(checker->Relation(), substitution)); in Check()

Completed in 4 milliseconds