This RFC is mentioned in the trait objects chapter of the Rust book. It seems reasonable from a technical perspective.
I’m curious why there’d be any opposition. I can’t think of any case where I’d want to violate this restriction. And that’s even coming from Ruby, which is super dynamic. Is there anything that object safety prevents that wouldn’t otherwise be a code smell?