rust 如何实现向下转型？

[gramyang]

比如一个 trait A，我有 A1,A2,A3 三个结构体实现了 A 。然后我用一个 Vec 将 A1,A2,A3 的实例都存进去，这种情况下 Vec 里面的类型只能是 Box<dyn A>。
然后我从 Vec 中将 A1 的实例取出来，这个时候其类型为 Box<dyn A>，如何判断它就是 A1 呢？