check
fun checkArgumentValidity(functionDeclaration: FunctionDeclaration, functionDeclarationSignature: List<Type>, templateCallExpression: CallExpression, explicitInstantiation: List<ParameterizedType?>): Boolean
Return
true if the instantiation of the template is compatible with the template declaration, false otherwise
Parameters
function
FunctionDeclaration realization of the template
function
Signature of the realization FunctionDeclaration, but replacing the ParameterizedTypes with the ones provided in the instantiation
template
CallExpression that instantiates the template
explicit
list of the explicitly instantiated type parameters