Created on 2019-07-16.00:00:00 last changed 4 months ago
Notes from the August, 2020 teleconference:
CWG felt that the concept of “eligible” might form a basis for the resolution of this issue.
An explicit instantiation of a class template specialization also explicitly instantiates member functions of that class template specialization whose constraints are satisfied, even those that are not callable because a more-constrained overload exists which would always be selected by overload resolution. Ideally, we would not explicitly instantiate definitions of such uncallable functions.
|2020-12-15 00:00:00||admin||set||messages: + msg6251|