71 static void InferUntilFail(Signature const *const signature, const ArenaVector<ir::Expression *> &a…  in InferUntilFail()  argument
74     auto *sigInfo = signature->GetSignatureInfo();  in InferUntilFail()
75     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in InferUntilFail()
98             auto *const paramType = (ix < signature->MinArgCount()) ? sigInfo->params[ix]->TsType()  in InferUntilFail()
117 …onst Substitution *BuildImplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature,  in BuildImplicitSubstitutionForArguments()  argument
121     auto *sigInfo = signature->GetSignatureInfo();  in BuildImplicitSubstitutionForArguments()
122     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in BuildImplicitSubstitutionForArguments()
124     InferUntilFail(signature, arguments, checker, substitution);  in BuildImplicitSubstitutionForArguments()
142             (signature->Function()->ReturnTypeAnnotation() == nullptr ||  in BuildImplicitSubstitutionForArguments()
144 …                                           signature->Function()->ReturnTypeAnnotation()->TsType(),  in BuildImplicitSubstitutionForArguments()
145                                                   signature->ReturnType(), substitution))) {  in BuildImplicitSubstitutionForArguments()
153 …onst Substitution *BuildExplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature,  in BuildExplicitSubstitutionForArguments()  argument
158     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in BuildExplicitSubstitutionForArguments()
197 static Signature *MaybeSubstituteTypeParameters(ETSChecker *checker, Signature *signature,  in MaybeSubstituteTypeParameters()  argument
202     if (typeArguments == nullptr && signature->GetSignatureInfo()->typeParams.empty()) {  in MaybeSubstituteTypeParameters()
203         return signature;  in MaybeSubstituteTypeParameters()
208 …   ? BuildExplicitSubstitutionForArguments(checker, signature, typeArguments->Params(), pos, flags)  in MaybeSubstituteTypeParameters()
209             : BuildImplicitSubstitutionForArguments(checker, signature, arguments);  in MaybeSubstituteTypeParameters()
211 …return (substitution == nullptr) ? nullptr : signature->Substitute(checker->Relation(), substituti…  in MaybeSubstituteTypeParameters()
215                                    Signature *const signature)  in CheckInterfaceOverride()  argument
217     bool isOverriding = checker->CheckOverride(signature, interface);  in CheckInterfaceOverride()
220         isOverriding |= CheckInterfaceOverride(checker, superInterface, signature);  in CheckInterfaceOverride()