IvyXu420 wrote: > The first sentence mentions associated constraints so I'm not sure if only > those constrained functions should apply
I don't think so. If I am understanding correctly, they are separate processes. Looking at https://eel.is/c++draft/over.over#example-3, if only constrained functions should apply, `&X<true>::f;` and `&X<true>::g<int>;` would not be ambiguous. https://github.com/llvm/llvm-project/pull/230806 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
