fork download
  1. template <int X>
  2. struct XX
  3. {
  4. static const int x = X;
  5. };
  6.  
  7. template<typename TT, TT V, template<TT> class TX>
  8. void fnx(TX<V> x)
  9. {
  10. static_assert(V == TX<V>::x, "IMPOSSIBLE!");
  11. }
  12.  
  13. int main()
  14. {
  15. fnx<int>(XX<1>());
  16. }
Success #stdin #stdout 0s 3452KB
stdin
Standard input is empty
stdout
Standard output is empty