Rust Any part 3: we have upcasts