Add #[define_opaques] attribute and require it for all type-alias-impl-trait sites that register a hidden type#128440