[Bug c++/96164] Constraints and explicit template instantiation

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96164

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-07-11
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Confirmed.  [temp.explicit]/11 says:

An explicit instantiation that names a class template specialization is also an
explicit instantiation of the same kind (declaration or definition) of each of
its members (not including members inherited from base classes and members that
are templates) that has not been previously explicitly specialized in the
translation unit containing the explicit instantiation, ***provided that the
associated constraints, if any, of that member are satisfied by the template
arguments of the explicit instantiation*** ...