#include <iostream>
#include <type_traits>

template<typename T>
typename std::enable_if<!std::is_const<T>::value>::type f(T& arg)
{
    std::cout << arg << ':' << __PRETTY_FUNCTION__ << std::endl;
}


int main()
{
    int x=0;
    const int y=1;
    f(x);
    f(y); // errror. no matching function
    return 0;
}