fork download
  1. #include <iostream>
  2. #include <typeinfo>
  3. using namespace std;
  4.  
  5. template<bool NewBool, template<bool> typename ClassName, bool TheBool>
  6. ClassName<NewBool> FT(const ClassName<TheBool>&);
  7.  
  8. template<bool X>
  9. struct T {};
  10.  
  11. int main() {
  12.  
  13. T<true> t;
  14. decltype(FT<false>(t)) f;
  15.  
  16. cout << typeid(t).name() << endl;
  17. cout << typeid(f).name() << endl;
  18. }
Success #stdin #stdout 0.01s 5440KB
stdin
Standard input is empty
stdout
1TILb1EE
1TILb0EE