Перегрузка оператора == и шаблоны

class Noncomparable{};
 
struct HardLogic {
   Noncomparable nc1, nc2;
   void compare() {
       nc1 == nc2; //Ошибка компилятора: бинарный "==": не найден оператор, принимающий левый операнд типа "Noncomparable" (или приемлемое преобразование отсутствует)
   }
};
 
template<class T> 
struct SoftLogic {
   Noncomparable nc1,nc2;
   void compare() {
      nc1 == nc2; //Нет ошибки
   }
};

#include <iostream>
 
 
class Noncomparable{};
 
template<class T> 
struct SoftLogic {
   Noncomparable nc1,nc2;
   void compare() {
      nc1 == nc2; //Нет ошибки
   }
};
 
int main()
{
    std::cout << "Hello, world!\n";
    
    SoftLogic<ini> logic;
}

#include <iostream>
 
 
 
template<class T> struct SoftLogic 
{
 
   void compare() 
   {
       // любая откровенно не компилируемая фигня
       osdfgjdslk dsjfsdjfljs 1231 fdgfd
 
   }
};
 
int main()
{
}

#include <iostream>
 
class Noncomparable{};
 
 
template<class T> 
struct SoftLogic {
   Noncomparable nc1,nc2;
   void compare() {
      nc1 == nc2;
   }
};
 
int main()
{
}

template<> 
struct SoftLogic <Noncomparable>{
   Noncomparable nc1,nc2;
   void compare() {
      nc1 == nc2; //уже есть
   }
};

template<typename T>
void foo()
{
    using lkdfsgdlfkn98954**-d+gdgsdgd
}
 
 
int main()
{
}

template<class T> 
struct SoftLogic {
   Noncomparable nc1,nc2;
   void compare() {
      nc1 == nc2;
   }
};
 
template<typename T>
void foo()
{
    using lkdfsgdlfkn98954**-d+gdgsdgd
}