How to get compatible symbol names and runtime typeid names for templated classes?

[cc]

On Tuesday, 3 May 2022 at 15:08:53 UTC, H. S. Teoh wrote:
> 	class Base : Serializable!(Base) { ... }
> 	class Derived : Serializable!(Base, Derived) { ... }

This is really interesting syntax, I'm surprised that works!