Can't we replace restrict with proper preconditions? -----Ursprüngliche Nachricht----- Von:Alejandro Colomar via Std-Proposals <std-proposals_at_[hidden]> restrict is terrible, and your suggested [[restrict]] is similarly terrible.