My bad, I meant to use HashSet (clearly, as this is the type discussed in OP). s/BTreeSet/HashSet and it all works. My argument here is that super traits provide enough to cover OP's use case. It is object safety that gets in the way. dyn (Trait1 + Trait2) syntax sugar is a red herring.