TypeFunction example: reason about class hierachies

[Stefan Koch]

On Saturday, 24 October 2020 at 20:27:37 UTC, Stefan Koch wrote:
>
> Please let me know what you think
>

P.P.S
The compiler (from [https://github.com/UplinkCoder/dmd]) supports 
this starting with the git commit hash 
e46c6f5bb022aa3d1e7f3208f4b92bd0af9eceb5 onwards.

P.P.P.S

pragma(msg, getSuper(B)); // "Object"
pragma(msg, getSuper(B).getSuper()); // "__emptyType"
ragma(msg, getSuper(B).getSuper().getSuper()); // also 
"__emptyType"