Здравствуйте, reversecode, Вы писали:

R>поднимаем глазки выше где два шаблона на структурах
R>и задаем и отвечаем на ваш вопрос мысленно

А зачем глазки поднимать?
Тут главное ответить правильно, как например в коде ниже:

#include <iostream>

template<class TA>
class A
{
  public:
    template<class TF>
    TF fun(TA x);
};

template<class TX>
template<class TY>
TY A<TX>::fun(TX x)
{
  return TY{};
}


int main() {

  A<int> aa;
  std::cout << aa.fun<float>(1) << std::endl;
  
  return 0;
}

Где тут зависимости между TA, TF, TX и TY?

Здравствуйте, reversecode, Вы писали:

R>поднимаем глазки выше где два шаблона на структурах
R>и задаем и отвечаем на ваш вопрос мысленно

А зачем глазки поднимать?
Тут главное ответить правильно, как, например, в коде ниже:

#include <iostream>

template<class TA>
class A
{
  public:
    template<class TF>
    TF fun(TA x);
};

template<class TX>
template<class TY>
TY A<TX>::fun(TX x)
{
  return TY{};
}


int main() {

  A<int> aa;
  std::cout << aa.fun<float>(1) << std::endl;
  
  return 0;
}

Где тут зависимости между TA, TF, TX и TY?