Yes if you use generics, no if you use trait objects (`dyn Trait`). These new features are implemented similarly to a hidden associated type and are not object-

Yes if you use generics, no if you use trait objects (`dyn Trait`). These new features are implemented similarly to a hidden associated type and are not object-safe. There were some discussions about object safety, but it's a tough issue to fix while remaining explicit about allocations.