I don't understand how to do self-referencial parametric typing

[stevengj]

@HenriDeh

I’m trying to build two tree node types that keep track of a set of instances of each other.

Beware of trying to use parametric types like this for a tree, because then you are encoding the tree structure into the type — every distinct tree structure will have a distinct type, forcing the compiler to recompile/specialize code for every tree.

See also

• Tree structure with parametric type - #2 by rdeits
• Why are self-referential struct parameters impossible? - #2 by stevengj