using-declaration

Ist es möglich, typedef oder using zu verwenden, um einen Typ-Alias ​​innerhalb eines Konzepts zu deklarieren, wie von den Concepts TS vorgeschlagen? Wenn ich etwas wie das folgende MWE versuche, kompiliert der Code nicht (mit gcc 6.2.1 un...