There is nothing preventing the standard library from adding unsafe impl<T> Sync for Rc<T> in the future (other than that being unsound, but the compiler doesn’t know this), if it did then there would be multiple applicable implementations of A for B.
3 Likes