Ignore constraints when determining a canonical template parameter.
This follows C++ [temp.over.link]/6, which says that constraints are not part of what determines whether two template parameters are equivalent. This allows templates that have different constraints on nested template template parameters to be ordered by their constraints.
Loading
Please sign in to comment