// Build don't link:

template <class T>
struct S1 {};

template <class T, class U = S1<T> > 
struct S2 {};

template struct S2<100>; // ERROR - type/value mismatch