| 19 | constexpr bool FunctionWithRequiresForReturn() requires requires(T t) { f(t); } { return true; } |
| 20 | |
| 21 | struct test |
| 22 | { |
| 23 | template<typename T> |
| 24 | constexpr bool foo() { return false; } |
| 25 | |
| 26 | template<typename T> |
| 27 | requires (f(T()), true) |
| 28 | constexpr bool FunctionWithRequiresForTemplateParameters() { return true; } |
| 29 | |
| 30 | |
| 31 | template<typename T> |
| 32 | constexpr bool FunctionWithRequiresForReturn() requires requires(T t) { f(t); } { return true; } |
| 33 | |
| 34 | template<typename T> |
| 35 | requires (b(T()), true) |
| 36 | constexpr bool FunctionWithRequiresForTemplateParametersAndReturn() requires requires(T t) { f(t); } { return true; } |
| 37 | }; |
| 38 | |
| 39 | |
| 40 | template<typename T> |