I recently make a lot of mistakes by missing impl in function signatures. Almost everytime I was protected by the fact that unsized values cannot appear in function signatures, either argument or return position.
For myself, I would turn on #![deny(bare_trait_objects)] to gain more protection.
I think this could happen to others as well, so I guess unless we prohibited raw Trait appear in function sigtures, stablizing unsized_local would make things worse as we lost protections. Maybe when it lands it is a good time to also make #![deny(bare_trait_objects)] default?