#include <type_traits>

struct I {
  using R = int;
};

struct F {
  using R = float;
};

class A {
 public:
  template <typename T>
  static typename std::enable_if_t<std::is_same_v<T, I>, I::R> f() {
    return 1;
  }

  template <typename T>
  static typename std::enable_if_t<std::is_same_v<T, F>, F::R> f() {
    return 27;
  }
};

int main() { return A::f<I>() + A::f<F>(); }