It would mean that the data member would only exist if the
requires-clause is satisfied, just like trailing requires clauses for
member functions.