Can't we replace restrict with proper preconditions?
-----Ursprüngliche Nachricht-----Von: Alejandro Colomar via Std-Proposals <std-proposals@lists.isocpp.org>restrict is terrible, and your suggested [[restrict]] is similarlyterrible.