Предотвращение потери __restrict__ при использовании промежутков GSL

Мне (в основном) нравится новая инициатива основных рекомендаций C++ и то, что предлагает библиотека поддержки рекомендаций. В частности, я хочу больше использовать spans. Однако я столкнулся с проблемой, что __restrict__ не является частью С++, хотя я хочу/должен его использовать.

Чтобы быть более конкретным: без span я бы заявил:

void foo(int* __restrict__ p, size_t len);

Но если я сейчас объявлю:

void foo(gsl::span<int> s);

Я не получаю эффект __restrict__, если мой компилятор не супер-умный. Я мог бы усердно молиться богам gcc/clang/msvc и сказать:

void foo(gsl::span<int> __restrict__ s);

или, в качестве альтернативы, я мог бы настроить реализацию GSL span<T> так, чтобы указатели T* begin и T* end сами были __restrict__ отредактированы. Однако это совсем не уверен, что это будет соблюдено.

Итак, могу ли я как-то заставить __restrict__'ion? Или я должен просто отказаться от него? Это лишает удовольствия переключаться на span's...