69 static void InferUntilFail(Signature const *const signature, const ArenaVector<ir::Expression *> &a…  in InferUntilFail()  argument
72     auto *sigInfo = signature->GetSignatureInfo();  in InferUntilFail()
73     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in InferUntilFail()
98             auto *const paramType = (ix < signature->ArgCount())  ? sigInfo->params[ix]->TsType()  in InferUntilFail()
121 …onst Substitution *BuildImplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature,  in BuildImplicitSubstitutionForArguments()  argument
125     auto *sigInfo = signature->GetSignatureInfo();  in BuildImplicitSubstitutionForArguments()
126     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in BuildImplicitSubstitutionForArguments()
128     InferUntilFail(signature, arguments, checker, substitution);  in BuildImplicitSubstitutionForArguments()
147         (signature->Function()->ReturnTypeAnnotation() == nullptr ||  in BuildImplicitSubstitutionForArguments()
149 …                                           signature->Function()->ReturnTypeAnnotation()->TsType(),  in BuildImplicitSubstitutionForArguments()
150                                               signature->ReturnType(), substitution))) {  in BuildImplicitSubstitutionForArguments()
157 …onst Substitution *BuildExplicitSubstitutionForArguments(ETSChecker *checker, Signature *signature,  in BuildExplicitSubstitutionForArguments()  argument
162     auto &sigParams = signature->GetSignatureInfo()->typeParams;  in BuildExplicitSubstitutionForArguments()
200 static Signature *MaybeSubstituteTypeParameters(ETSChecker *checker, Signature *signature,  in MaybeSubstituteTypeParameters()  argument
205     if (typeArguments == nullptr && signature->GetSignatureInfo()->typeParams.empty()) {  in MaybeSubstituteTypeParameters()
206         return signature;  in MaybeSubstituteTypeParameters()
211 …   ? BuildExplicitSubstitutionForArguments(checker, signature, typeArguments->Params(), pos, flags)  in MaybeSubstituteTypeParameters()
212             : BuildImplicitSubstitutionForArguments(checker, signature, arguments);  in MaybeSubstituteTypeParameters()
214 …return (substitution == nullptr) ? nullptr : signature->Substitute(checker->Relation(), substituti…  in MaybeSubstituteTypeParameters()
218                                    Signature *const signature)  in CheckInterfaceOverride()  argument
220     bool isOverriding = checker->CheckOverride(signature, interface);  in CheckInterfaceOverride()
223         isOverriding |= CheckInterfaceOverride(checker, superInterface, signature);  in CheckInterfaceOverride()