I just learned that C23 appears to have standardised two new attributes that are not in C++23, [[unsequenced]] and [[reproducible]]:

Could you please confirm that this has in fact landed in the C23 standard? It's already on cppreference.

Do you have any views on whether we want these attributes in C++ as well? Has this been discussed before?

Cheers,

Timur