inconsistent treatment of class template with defaulted argument as template template class argument of smaller arity

Question

The following snippet is rejected by Clang on C++17, accepted by GCC on C++17 and rejected by GCC on C++14. This is consistent with all recent compiler versions. What\'s the cor