N2657: Local and Unnamed Types as Template Arguments (C++11)

gistfile1.cpp

template <class T> class X { };
template <class T> void f(T t) { }
struct {} unnamed_obj;
void f()
{
    struct A { };
    enum { e1 };
    typedef struct {} B;
    B b;
    X<A> x1; // OK
    X<A*> x2; // OK
    X<B> x3; // OK
    f(e1); // OK
    f(unnamed_obj); // OK
    f(b); // OK
}