Issue 2686 - WG21 CWG Issues
Title
Pack expansion into a non-pack parameter of a concept
Status
open
Section
13.5.2 [temp.constr.constr]
Submitter
Michał Dominiak

Created on 2021-10-15.00:00:00 last changed 38 months ago

Messages

msg7141 (view)
Date: 2021-10-15.00:00:00

Consider:

  template<typename T>  concept A = true;
  template<typename... T> concept B = A<T...>;

Is this valid? MSVC accepts; gcc and clang reject. See also issue 1430 for the equivalent question for alias templates.
History
Date User Action Args
2021-10-15 00:00:00admincreate