Why does an out-of-class member template definition need a repetition of its declaration 'requires-clause'

Question

This is related to the following question: Does a class template\'s requires clause have to be repeated outside member definitions?

In other words, given the code for