Open
Description
Adding + Send
to a &dyn
is a useless restriction. E.g. &(dyn Any + Send)
implicitly converts to &dyn Any
, but not the other way around, even though it'd be sound to just transmute it in both directions, since the Send
isn't of any use for (shared) references.
It'd be nice if we suggest removing the + Send
for &(dyn … + Send)
.
See #110799