Given that ti is an instance of this TemplateDeclaration,
deduce the types of the parameters to this, and store
those deduced types in dedtypes[].
Input:
flag 1: don't do semantic() because of dummy types
2: don't change types in matchArg()
Output:
dedtypes deduced arguments
Return match level.
Given that ti is an instance of this TemplateDeclaration, deduce the types of the parameters to this, and store those deduced types in dedtypes[]. Input: flag 1: don't do semantic() because of dummy types 2: don't change types in matchArg() Output: dedtypes deduced arguments Return match level.