http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58569
--- Comment #6 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Jonathan Wakely from comment #4) Why would LWG 2132 require any such check during the instantiation of the class template or during the instantiation of the default constructor? The constraints are only imposed on template members.