[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