[clang] [Clang] Clarify diagnostic notes for implicitly generated deduction guides (PR #96084)
Haojian Wu via cfe-commits
cfe-commits at lists.llvm.org
Wed Jun 26 04:27:46 PDT 2024
================
@@ -108,8 +108,11 @@ struct Foo {
Foo(T const (&)[N]);
};
+// FIXME: Prefer non-canonical template arguments in the deduction guide?
template <typename X, int Y>
using Bar = Foo<X, sizeof(X)>; // expected-note {{candidate template ignored: couldn't infer template argument 'X'}} \
+ // expected-note {{implicit deduction guide declared as 'template <typename X> Bar(Foo<type-parameter-0-0, sizeof(type-parameter-0-0)>) -> Foo<type-parameter-0-0, sizeof(type-parameter-0-0)>'}} \
----------------
hokein wrote:
I think it would be useful to print the associated constraints.
I thought the attached constraints will be print automatically in the `FunctionTemplateDecl::print`(it is not implemented in the pretty printer yet?). No need to address here, but please add a FIXME.
https://github.com/llvm/llvm-project/pull/96084
More information about the cfe-commits
mailing list