[clang] [clang] check deduction consistency when partial ordering function templates (PR #100692)
Matheus Izvekov via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 18 15:27:20 PDT 2024
mizvekov wrote:
> Wow, I would never have thought it was a problem. Making these the same type removes the compilation error. Can you explain why this is a problem from the C++ standard PoV?
That's https://eel.is/c++draft/temp.deduct.type#20
In deduced contexts for an NTTP, the type of the argument and the parameter must match exactly.
https://github.com/llvm/llvm-project/pull/100692
More information about the cfe-commits
mailing list