non-primitive cast with generic and trait

Question

I try to cast Rc> from Rc> (Data impl Data) directly without problem but impossible in