diff --git a/trees/uts-002H.tree b/trees/uts-002H.tree index 6daf6f5..426b415 100644 --- a/trees/uts-002H.tree +++ b/trees/uts-002H.tree @@ -253,16 +253,18 @@ requires [(arguments)] { template concept MyConcept = requires (T a, T b) { // First case: SFINAE constrains - a + b; // Req. 1 - support add operator - a[0]; // Req. 2 - support subscript operator - a.x; // Req. 3 - has "x" data member - a.f(); // Req. 4 - has "f" function member - typename T::type; // Req. 5 - has "type" field - {*a + 1} -> std::convertible_to; // Req. 6 - can be deferred and the sum - // with an integer is convertible - // to float - {a * a} -> std::same_as; // Req. 7 - "a * a" must be valid and - // the result type is "int" + a + b; // Req. 1 - support add operator + a[0]; // Req. 2 - support subscript operator + a.x; // Req. 3 - has "x" data member + a.f(); // Req. 4 - has "f" function member + typename T::type; // Req. 5 - has "type" field + + {*a + 1} -> std::convertible_to;// Req. 6 - can be deferred + // and the sum + // with an integer is convertible + // to float + {a * a} -> std::same_as; // Req. 7 - "a * a" must be valid + // and the result type is "int" }; >>>