How to Declar Member Function with both `requires` and `-> return_type`

Question

I want to write a class template, which:

• A have just a member variable val;
• A have a mem