Should/can Expects and Ensures be macros?

[hsutter]

If so, should we change their names per Sean Parent's comment at microsoft/GSL#1032 ?

[hsutter]

Editors call: We've been dragging our feet on this because Expects and Ensures were supposed to be temporary placeholders that would soon (in C++20) be made redundant by contracts. Now contracts has been targeting C++26 so we again have been waiting. Now that it looks like contracts may not make C++26 we need to find a solution (make them not macros, or make them not those popular names).

[carsonRadtke]

@BjarneStroustrup Is there any update here? We would like to address an open issue in GSL.