The only reason trait objects aren't subtyping is that impl trait is not a first class type in Rust. They behave like subtyping in this context.