Hi,

On 04/08/2017 19:00, Jason Merrill wrote:
On 07/14/2017 01:32 PM, Paolo Carlini wrote:
+      error ("cannot deduce template arguments for copy-initialization"
+ " of %qT, as it has no viable implicit deduction guides", type);

Why "copy-initialization"? We do deduction for direct-initialization, as well.

I would also drop the "implicit".

OK with those tweaks.
Thanks Jason for your review and, essentially, approval of the work.

About the exact wording, I'm a little puzzled, because, besides the "implicit" nit, the "copy-inizialization" already occurs in two other places in that function, in the preceding:

  if (elided && !cands)
    {
      error ("cannot deduce template arguments for copy-initialization"
         " of %qT, as it has no non-explicit deduction guides or "
         "user-declared constructors", type);
      return error_mark_node;
    }

and in the following:

      if (elided)
    inform (input_location, "explicit deduction guides not considered "
        "for copy-initialization");

and now I'm wondering which, if any, should be also removed?!? Both? Can you help me about that?

Thanks,
Paolo.

Reply via email to