pub(crate) fn trait_impl_orphan( ctx: &DiagnosticsContext<'_, '_>, d: &TraitImplOrphan, ) -> Diagnostic