class A{}

template<typename T>
void proc(T val)
{
class Foo : A
{
} ;

Foo f;
}

почему не компилируется следующий код?