[cs] No need to cast to base class when using super. Ping #3575