https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67704
Andrew Sutton <andrew.n.sutton at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |andrew.n.sutton at gmail dot
com
--- Comment #1 from Andrew Sutton <andrew.n.sutton at gmail dot com> ---
Confirmed.
Constraints on dependent types aren't checked, but alias templates are always
"transparent". In the requirements on f, the type requirement R<X> is simply
replaced by its instantiation, and the associated constraints are discarded.
There's a smaller version of this bug in the test suite in
g++.dg/cpp2a/concepts-alias.C, which is currently marked as xfail.
