fn dyn_compatibility_violations( tcx: TyCtxt<'_>, trait_def_id: DefId, ) -> &[DynCompatibilityViolation]