Вложение вложенного аргумента шаблона для шаблонов классов не работает

В этот вопрос& Я написал небольшой класс-обертку, который предоставляет обратный итератор для доступа к диапазону, полагаясь на вывод аргумента шаблона функции языка c ++ 1z для шаблонов классов (p0091r3, p0512r0)

#include <iostream>
#include <iterator>
#include <vector>

template<class Rng>
class Reverse
{
Rng const& rng;
public:
Reverse(Rng const& r) noexcept
:
rng(r)
{}

auto begin() const noexcept { using std::end; return std::make_reverse_iterator(end(rng)); }
auto end()   const noexcept { using std::begin; return std::make_reverse_iterator(begin(rng)); }
};

int main()
{
std::vector<int> my_stack;
my_stack.push_back(1);
my_stack.push_back(2);
my_stack.puhs_back(3);

// prints 3,2,1
for (auto const& elem : Reverse(my_stack)) {
std::cout << elem << ',';
}
}

Тем не менее, делая вложенное приложение Reverse не дает исходный порядок итераций

// still prints 3,2,1 instead of 1,2,3
for (auto const& elem : Reverse(Reverse(my_stack))) {
std::cout << elem << ',';
}

Живой пример (одинаковый вывод для g ++ 7.0 SVN и clang 5.0 SVN)

Похоже, виновником является вывод аргумента шаблона для шаблонов классов, потому что обычная функция-обертка допускает правильное вложение

template<class Rng>
auto MakeReverse(Rng const& rng) { return Reverse<Rng>(rng); }

// prints 1,2,3
for (auto const& elem : MakeReverse(MakeReverse(my_stack))) {
std::cout << elem << ',';
}

Живой пример (один и тот же вывод для g ++ и clang)

Вопрос: вычитание вложенного аргумента шаблона для шаблонов классов должно работать только на «один уровень» или это ошибка в текущих реализациях g ++ и clang?