Re: Template conversion and default copy constructor

In your next reading of 12.8/3, please pay close attention to the example
that follows the explanation:

[12.8/3]
A declaration of a constructor for a class X is ill-formed if its first
parameter is of type (optionally cvqualified) X and either there are no
other parameters or else all other parameters have default arguments. A
member function template is never instantiated to perform the copy of a
class object to an object of its class type. [Example:

  struct S {
    template<typename T> S(T);
  };

  S f();

  void g() {
    S a( f() ); // does not instantiate member template
  }

?end example]

I guess it is pretty clear now, what the member template instantiation

is about: the would-be-illformed-when-instantiated template is not
instantiated.