Inception explores the following concept in Rust Given a type T, if we can prove some property exists for all of T's minimal substructures, and all of T's immediate substructures, then this property must also hold for T itself. Some have asked just to see the essential generated code, so here is a best-effort summary of the output of the macro which provides the blanket implementation (using something like a custom ToString as an example) This code doesn't actually work, it's just what it might ...