/******************************************************************************
Online C++ Compiler.
Code, Compile, Run and Debug C++ program online.
Write your code in this editor and press "Run" button to compile and execute it.
*******************************************************************************/
#include <iostream>
template <auto& t>
class Foo {
using Type = decltype(t);
};
template <typename T> class MyClass {};
template <typename T>
Foo <MyClass<T>& t> {
using Type = int;
};
int main()
{
constexpr bool b = true;
constexpr MyClass<bool> mc;
std::cout << typeid(Foo<b>).name;
std::cout << typeid(Foo<mc>).name;
return 0;
}