It would still be interesting to attach some kind of result to the `enum RTInfo`. The compiler will put that pointer into the TypeInfo. Then later one could use `cast(IRichTypeInfo)cast(Object)typeid(MyType).rtInfo` to test whether the rtInfo implements certain interfaces. Pretty unfinished idea, the pull request is already useful without this.