#include <iostream>
 
template <class W, class T>
void foo(W& a, T& t)
{
	std::cout << "generic" << std::endl;
}
 
template <template <bool> class W, class T>
void foo(W<true>& a, const T& t)
{
	foo(a, const_cast<T&>(t));
}
 
template <class W>
void foo(W& a, int& t)
{
	std::cout << "int" << std::endl;
}
 
template <bool> struct what;
template<> struct what<true> { };
 
int main() {
	const int ci = 10;
	what<true> wt;
 
	foo(wt, ci);
 
	return 0;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgoKdGVtcGxhdGUgPGNsYXNzIFcsIGNsYXNzIFQ+CnZvaWQgZm9vKFcmIGEsIFQmIHQpCnsKCXN0ZDo6Y291dCA8PCAiZ2VuZXJpYyIgPDwgc3RkOjplbmRsOwp9Cgp0ZW1wbGF0ZSA8dGVtcGxhdGUgPGJvb2w+IGNsYXNzIFcsIGNsYXNzIFQ+CnZvaWQgZm9vKFc8dHJ1ZT4mIGEsIGNvbnN0IFQmIHQpCnsKCWZvbyhhLCBjb25zdF9jYXN0PFQmPih0KSk7Cn0KCnRlbXBsYXRlIDxjbGFzcyBXPgp2b2lkIGZvbyhXJiBhLCBpbnQmIHQpCnsKCXN0ZDo6Y291dCA8PCAiaW50IiA8PCBzdGQ6OmVuZGw7Cn0KCnRlbXBsYXRlIDxib29sPiBzdHJ1Y3Qgd2hhdDsKdGVtcGxhdGU8PiBzdHJ1Y3Qgd2hhdDx0cnVlPiB7IH07CgppbnQgbWFpbigpIHsKCWNvbnN0IGludCBjaSA9IDEwOwoJd2hhdDx0cnVlPiB3dDsKCglmb28od3QsIGNpKTsKCglyZXR1cm4gMDsKfQ==