cpp/experimental/reflect/RecordMember

The concept is satisfied if and only if T reflects a.