This compiles, note fn sub at the end
You can access super trait methods from a dynamically dispatched subtrait, meaning those functions from the super trait are in the vtable.
Now, a blanket impl is a different story, but that's also not what I was talking about.