Re: Can I avoid covariance of typedesc arguments?

[mratsim]

B inherits from A so B is always A, especially so at compile-time. Maybe 
methods can help but I'm pretty sure you will be venturing alone in a hostile 
world with methods and typedesc arguments.