pub fn report_object_safety_error<'tcx>( tcx: TyCtxt<'tcx>, span: Span, hir_id: Option<HirId>, trait_def_id: DefId, violations: &[ObjectSafetyViolation] ) -> Diag<'tcx>