#include <type_traits>

template <typename T>
class X {
  static_assert(!std::is_same<T, double>(), "Nie lubimy double");
};

int main() {
	X<double> x; // <- nie dziala
	// X<int> x; // <- dziala
}