Well, if this whole thing is occurring in class C. If we have, if we're type checking in class C. &amp;gt;&amp;gt; You just put the line there. &amp;gt;&amp;gt; And it's safe and this is a soft type sub c and as always it's safe to replace soft type sub c by c. 