The answer to this is yes, using the`Trait:Bound+Bound+...` syntax, e.g. `~Trait:Send` guarantees that the erased type of the trait object is `Send`.