| // { dg-do compile { target c++20 } } | |
| // { dg-additional-options "-fconcepts-ts" } | |
| template<class I> | |
| concept bool True = true; | |
| template<class T> | |
| concept bool HasType = requires { typename T::type; }; | |
| template<class T> | |
| struct S | |
| { | |
| void foo() requires HasType<T> && True<typename T::type>; | |
| }; | |
| S<int> s; | |