https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65854
--- Comment #2 from Andrew Sutton <andrew.n.sutton at gmail dot com> --- Confirmed. Parsing a type requirement that names an alias template was giving back a declaration, which wasn't being instantiated correctly. r222769 unwraps the type from the declaration and will correctly reject the test case.