pub fn dyn_compatibility_violations_for_assoc_item( tcx: TyCtxt<'_>, trait_def_id: DefId, item: AssocItem, ) -> Vec<DynCompatibilityViolation>