(In reply to comment #12)
> I'm confused why this would be an overload set. cmp1 is a template so I
> can't see how this code would even begin to be valid without specifying
> the template argument in the default argument...

Once you know A's T, you have a desired type int (*)(T, T) from which to
determine which specialization of the template to use.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/541425

Title:
  [PR44629] internal compiler error in unify

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to