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