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