Lines Matching defs:substitution

44     checker::Substitution *substitution = nullptr;
51     checker::Substitution *substitution = nullptr;
103     auto *substitution = checker->NewSubstitution();
125         substitution->emplace(oldTypeParam, newTypeParam);
132             auto *newConstraint = oldConstraint->Substitute(checker->Relation(), substitution);
138             auto *newDefault = oldDefault->Substitute(checker->Relation(), substitution);
149     return {newIrTypeParams, substitution};
166         auto *newType = capturedVar->TsType()->Substitute(checker->Relation(), calleeParameterInfo.substitution);
188         auto *newParamType = oldParamType->Substitute(checker->Relation(), calleeParameterInfo.substitution);
207                                     checker::Substitution *substitution,
221         if (substitution == nullptr) {
225             node->AsTyped()->SetTsType(node->AsTyped()->TsType()->Substitute(checker->Relation(), substitution));
229                 node->AsCallExpression()->Signature()->Substitute(checker->Relation(), substitution));
233                 node->AsETSNewClassInstanceExpression()->GetSignature()->Substitute(checker->Relation(), substitution));
237                 node->AsScriptFunction()->Signature()->Substitute(checker->Relation(), substitution));
241             id->Variable()->SetTsType(id->Variable()->TsType()->Substitute(checker->Relation(), substitution));
340     auto *substitution = subst0;  // NOTE(gogabr): needed to capture in a lambda later.
346     CalleeParameterInfo cpi {lambda, *info->capturedVars, paramScope, substitution, limit};
354             : lambda->Function()->Signature()->ReturnType()->Substitute(checker->Relation(), substitution);
368     ProcessCalleeMethodBody(cmInfo->body, checker, paramScope, substitution, varMap);
540                                     LambdaInfo const *info, checker::Substitution *substitution)
550             info->calleeClass->Definition()->TsType()->Substitute(checker->Relation(), substitution));
557             captured->TsType()->Substitute(checker->Relation(), substitution));
565                                          LambdaInfo const *info, checker::Substitution *substitution)
572     auto makeParam = [checker, allocator, substitution, &params](util::StringView name, checker::Type *type) {
573         auto *substitutedType = type->Substitute(checker->Relation(), substitution);
634         auto *type = lambdaParam->TsType()->Substitute(checker->Relation(), lciInfo->substitution);
679         auto *type = wrapToObject ? anyType : lparam->TsType()->Substitute(checker->Relation(), lciInfo->substitution);
706                      : lciInfo->lambdaSignature->ReturnType()->Substitute(checker->Relation(), lciInfo->substitution));
727                                     checker::Substitution *substitution, ArenaVector<checker::Type *> &funcInterfaces)
736             lambdaSigs[i]->Substitute(checker->Relation(), substitution)));
758     auto *substitution = subst0;  // NOTE(gogabr): needed to capture in a lambda later.
771             ->CreateFormattedTopLevelStatement(BuildLambdaClass(ctx, lambdaSigs, substitution, funcInterfaces),
788     CreateLambdaClassFields(ctx, classDefinition, info, substitution);
789     CreateLambdaClassConstructor(ctx, classDefinition, info, substitution);
794     lciInfo.substitution = substitution;