Compilable Recursive Data Structure ( was: Recursive data structure using template won't compile)

[Manfred Nowak]

Timon Gehr wrote:

> But as this is an undecidable property in general

I do not see, that the compiler has to solve the general case---
at least when compiling monolithic code and the executable is 
only allowed to use types which are initialized at compile time.

Upon using several modules the modules might follow some 
restrictions and I am currently not able to specify that 
restrictions.

-manfred