// Build don't link: 
template <class T>
struct X
{
    virtual void f(int) const;
};

template <class T>
struct Y: public X<T>
{
    virtual void f(int) const;
};

template <class T>
void Y<T>::f(int) const
{
}

template <>
void Y<bool>::f(int) const;