I just realized an alternative solution is possible if RFC 1834 (“Type inequality constraints in where clauses”) is accepted and implemented. Object safety could be satisfied for trait T by using where Self != dyn T. I actually find this preferable to introducing a new (arguably hacky) trait.