Commit f3f7980d authored by Robert Bradshaw's avatar Robert Bradshaw

Allow template deduction for partially specified types.

This fully resolves #1542.
parent a5ec19b6
......@@ -3505,7 +3505,7 @@ class CppClassType(CType):
# Untemplated type?
return None
# TODO(robertwb): Actual type equality.
elif self.empty_declaration_code() == actual.template_type.empty_declaration_code():
elif (self.template_type or self).empty_declaration_code() == actual.template_type.empty_declaration_code():
return reduce(
merge_template_deductions,
[formal_param.deduce_template_params(actual_param)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment