[Idea] Type erasure in Rust through parametricity

In the make_dolly example, what happens with dolly1 if animal_vtable.clone(&dolly1); panics? Presumably, it should be dropped, so we need to call Ts Drop somehow, and that means that we must know its type?

1 Like